Model-based development and the implications to design assurance and certification

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 2, Issue , 2005, Pages

  Bhatt, Devesh ^a   Hall, Brendan ^a   Dajani Brown, Samar ^a   Hickman, Steve ^a   Paulitsch, Michael ^a  

^a HONEYWELL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE GENERATION; DESIGN ASSURANCE; MATLAB; MODEL BASED DESIGN;

AUTOMATION; AVIONICS; COMPUTER SIMULATION; MATHEMATICAL MODELS; STANDARDIZATION; SUSTAINABLE DEVELOPMENT;

EMBEDDED SYSTEMS;

EID: 33746222876     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DASC.2005.1563401     Document Type: Conference Paper

References (29)

1. Object Management Group, Inc., The Unified Modeling Language™ (UML), Needham, MA, http://www.uml.org/
2. The Math Works MATLAB® and Simulink®, http://www.mathworks.com
3. RTCA SC-167 / EUROCAE WG-12, 1992, DO-178B/ED12B - Software Considerations in Airborne Systems and Equipment Certification, Wash. D.C., RTCA Inc.
4. RTCA, SC-205: Software Considerations, http://www.rtca.org/comm/ Committee.cfm?id=55
5. SCADE Suite™, Esterel Technologies France. http://www.esterel- technologies.com/
6. Applied Dynamics International, ADI Beacon family of tools, http://www.adi.com/products_be.htm
7. Telelogic, DOORS: Requirements Management, http://www.telelogic.com/ products/doorsers/doors
8. Scaife, N., C. Sofronis, P. Caspi, S. Tripakis and F. Maraninchi: Defining and translating a "safe" subset of Simulink/Stateflow into Lustre, Verimag Tech. Report number TR-2004-16, 2004.
9. Caspi, P., A.Curic, A. Maignan, C. Sofronis, S. Tripakis, July 2003, Translating Discrete-Time Simulink to Lustre. Verimag Technical Report.
10. Potter, William, May 2004, Use of the MathWorks Tool Suite to Develop DO-178B Certified Code, FAA/ERAU Software Tools Forum, Florida, http://www.erau.edu/db/campus/softwaretoolsforum.html
11. rd Digital Avionics Systems Conference, Salt Lake City, UT, IEEE.
12. Caspi, P., P. Raymond and D. Pilaud, September 1991, The synchronous dataflow programming language Lustre. Proceedings of the IEEE, vol. 79, nr. 9.
13. Reactive Systems Inc., Reactis®, http://www.reactive-systems.com
14. T-VEC®, Simulink Tester, http://www.t-vec.com
15. th Int. Workshop on Software and Compilers for Embedded Systems (SCOPES 2003).
16. Gamma, Erich, et al., 1995, Design Patterns - Elements of Reusable Object-Oriented Software, Addison-Wesley.
17. Honeywell International, DOME: Domain Modeling Environment, http://www.htc.honeywell.com/dome/index.htm
18. Oglesby, D., K. Schloegel, D. Bhatt, E. Engstrom, 2001, A Pattern-based Framework to Address Abstraction, Reuse, and Cross-domain Aspects in Domain-Specific Visual Languages, OOPSLA DSVL'Ol Workshop, Finland.
19. SAE Aerospace, 2005, Architecture Analysis and Design Language (AADL). Aerospace Technical Standard AS5506.
20. SysML, 2005, System Modeling Language, www.sysml.org.
21. Leveson, N., 1998, Intent Specifications: An Approach to Building Human-Centered Specifications. Int. Conference on Requirements Engineering.
22. Kelly, T.P., 1998, "Arguing Safety - A Systematic Approach to Managing Safety Cases". Ph.D. thesis, The University of York, UK.
23. SRI International, PVS Specification and Verification System, Menlo Park, CA. http://pys.csl.sri.com/
24. SRI International, Symbolic Analysis Laboratory (SAL), Menlo Park, CA. http://sal.csl.sri.com/
25. Carnegie-Mellon University, The SMV System, Pittsburgh, PA. http://www.cs.cmu.edu/~modelcheck/smv.html
26. Uppsala University, Sweden & Aalborg University Denmark, UPPAL, http://www.uppaal.com/
27. Prover Technology, Prover eCheck, www.prover.com/products/eda
28. Dajani-Brown, Samar, D. Cofer, A. Bouali, 2004, Formal Verification of an Avionic Sensor Voter using SCADE. FORMATS-FTRTFT, Grenoble, France.
29. th Nasa Langley Formal Methods Wkshop, http://www.systematic-testing.com/documents/NASALangley.pdf