Safeware: system safety and computers
Safeware: system safety and computers
Software safety and reliability: techniques, approaches, and standards of key industrial sectors
Software safety and reliability: techniques, approaches, and standards of key industrial sectors
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Challenges in Software Aspects of Aerospace Systems
SEW '01 Proceedings of the 26th Annual NASA Goddard Software Engineering Workshop
UML Bible
Designing Fault-Tolerant Component Based Applications with a Model Driven Approach
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Cognition, Technology and Work
MDA applied: a task-model driven tool chain for multimodal applications
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Leveraging patterns on domain models to improve UML profile definition
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Using UML profiles for sector-specific tailoring of safety evidence information
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Towards a model-based evolutionary chain of evidence for compliance with safety standards
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Information and Software Technology
| Hi-index | 0.00 |
Several safety-related standards exist for developing and certifying safety-critical systems. System safety assessments are common practice and system certification according to a standard requires submitting relevant system safety information to appropriate authorities. The RTCA DO-178B standard is a software quality assurance, safety-related standard for the development of software aspects of aerospace systems. This research introduces an approach to improve communication and collaboration among safety engineers, software engineers, and certification authorities in the context of RTCA DO-178B. This is achieved by utilizing a Unified Modeling Language (UML) profile that allows software engineers to model safety-related concepts and properties in UML, the de facto software modeling standard. A conceptual meta-model is defined based on RTCA DO-178B, and then a corresponding UML profile, which we call SafeUML, is designed to enable its precise modeling. We show how SafeUML improves communication by, for example, allowing monitoring implementation of safety requirements during the development process, and supporting system certification per RTCA DO-178B. This is enabled through automatic generation of safety and certification-related information from UML models. We validate this approach through a case study on developing an aircraft's navigation controller subsystem.