Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile
暂无分享,去创建一个
[1] Jan Jürjens,et al. Developing Safety-Critical Systems with UML , 2003, UML.
[2] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .
[3] Martin Gogolla,et al. Object Constraint Language , 2009, Encyclopedia of Database Systems.
[4] Jean-Noël Meunier,et al. RT modeling with UML for safety critical applications : the HIDOORS project example , 2003 .
[5] Kelly J. Hayhurst,et al. Challenges in software aspects of aerospace systems , 2001, Proceedings 26th Annual NASA Goddard Software Engineering Workshop.
[6] G. F. Williamson,et al. Software safety and reliability , 1997 .
[7] Gregory Zoughbi,et al. A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software , 2007, MODELS'07.
[8] Anja Strunk,et al. MDA Applied: A Task-Model Driven Tool Chain for Multimodal Applications , 2007, TAMODIA.
[9] Kai T. Hansen. Utilizing UML and patterns for safety critical systems , 2002 .
[10] LerouxD.,et al. Rational software architect , 2006 .
[11] Robert Lewis. Safety Case Development as an Information Modelling Problem , 2009, SSS.
[12] Hassan Gomaa,et al. Designing concurrent, distributed, and real-time applications with UML , 2000, ICSE.
[13] Nancy G. Leveson,et al. Safeware: System Safety and Computers , 1995 .
[14] Sébastien Gérard,et al. Leveraging Patterns on Domain Models to Improve UML Profile Definition , 2008, FASE.
[15] J. Aagedal,et al. UML Pro?le for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms , 2004 .
[16] Frank Budinsky,et al. Eclipse Modeling Framework , 2003 .
[17] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .
[18] S. Smith,et al. Functional Safety Of Programmable Electronic Systems , 1990 .
[19] Tom Pender. UML Bible , 2003 .
[20] Aniruddha S. Gokhale,et al. Applying model-driven development to distributed real-time and embedded avionics systems , 2006, Int. J. Embed. Syst..
[21] Martin Gogolla,et al. Object Constraint Language , 2009, Encyclopedia of Database Systems.
[22] Iulian Ober,et al. Timing analysis and validation with UML: the case of the embedded MARS bus manager , 2008, Innovations in Systems and Software Engineering.
[23] Debra S. Herrmann,et al. Software safety and reliability - techniques, approaches, and standards of key industrial sectors , 2000 .
[24] John Dowell,et al. User interface specification with sequence diagrams: an application to the AIRBUS A380 Datalink system , 2008, Cognition, Technology & Work.
[25] Sébastien Gérard,et al. Designing Fault-Tolerant Component Based Applications with a Model Driven Approach , 2008, SEUS.