From conceptual models to safety assurance : applying model-based techniques to support safety assurance
Explore this paper's citation graph
- Type
- article
- Published
- 2016-04-26
- Cited by
- 20
- References
- 180
- Access
- Open access
- OpenAlex
- https://openalex.org/W2585008257
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:114708962
Keywords
Safety assurance, Safety case, Quality assurance, Conceptual model, Computer science
References
- State-of-the-Art in Empirical Studies
- Cryptographically-Enhanced Privacy for Recommender Systems
- Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information
- Unambiguous Requirements in Functional Safety and ISO 26262: Dream or Reality?
- JTorX: exploring model-based testing
- The Goal Structuring Notation – A Safety Argument Notation
- Resilient in-network aggregation for vehicular networks
- Safety Metrics: Tools and Techniques for Measuring Safety Performance
- Test Suite Comprehension for Modular and Dynamic Systems
- Meta-model Differences for Supporting Model Co-evolution
- Performance Optimization of Multi-Tenant Software Systems
- The (in)security of proprietary cryptography
- Attribute-based identity management: [bridging the cryptographic design of ABCs with the real world]
- Automated Fault Localization for Service-Oriented Software Systems
- Coalgebraic Characterizations of Automata-Theoretic Classes
- TOP to the rescue. Task-oriented programming for incident response applications
- Performance analysis of real-time task systems using timed automata
- Supporting Developers' Teamwork from within the IDE
- Software analysis methods for resource-sensitive systems
- Lessons learned in the analysis of the EMV and TLS security protocols
Cited by
- Physical Security Analysis of Embedded Devices
- Run-time resource management for component-based systems
- Green computing: efficient energy management of multiprocessor streaming applications via model checking
- Data structures for analyzing geometric data
- Engineering the dynamic semantics of domain specific languages
- Verification of Program Parallelization
- Response modeling:model refinements for timing analysis of runtime scheduling in real-time streaming systems
- Model-based design of baggage handling systems
- An Empirical Evaluation of Feedback-Driven Software Development
- Automation for information security using machine learning
- Model analytics and management
- Um metamodelo para casos de garantia de sistemas críticos e intensivos em software baseado em análise do conceito inicial de sistemas teóricos
- Nominal Techniques and Black Box Testing for Automata Learning
- Algorithms for visualization in digital humanities
- The impact of API evolution on API consumers and how this can be affected by API producers and language designers
- A unit-aware matrix language and its application in control and auditing
- Session-based concurrency: between operational and declarative views
- Augmented Fine-Grained Defect Prediction for Code Review
- Behavioral Specification: unifying modeling and programming
- Sylvan: multi-core decision diagrams
Related papers
- Modeling the dynamics of requirements process improvement
- GUIDELINES FOR DISSERTATIONS AND THESES IN EMPIRICAL SOFTWARE ENGINEERING
- Decision support by combinatorial optimization : case studies
- Criteria for evaluating research outcomes
- Study on Comparative Safety Science and the Construction of Its Framework
- Guide to life assurance : a handbook of the practical and scientific aspects of the business
- Review of construction safety research methods: integrating theory and practice