Try Mobilus Beta
Search tips
 This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Challenges in Validating Safety-Critical Embedded Systems

Journal Article
2009-01-3284
ISSN: 1946-3855, e-ISSN: 1946-3901
DOI: https://doi.org/10.4271/2009-01-3284
Published November 10, 2009 by SAE International in United States
Challenges in Validating Safety-Critical Embedded Systems
Sector:
Citation: Feiler, P., "Challenges in Validating Safety-Critical Embedded Systems," SAE Int. J. Aerosp. 3(1):109-116, 2010, https://doi.org/10.4271/2009-01-3284.
Language: English

References

  1. NIST Planning report 02-3 “The Economic Impacts of Inadequate Infrastructure for Software Testing” May 2002
  2. en.wikipedia.org/wiki/VHDL
  3. http://en.wikipedia.org/wiki/Model_checking
  4. SAE International “Architecture Analysis & Design Language (AADL) Standard.” AS 5506A November 2004 Jan 2009
  5. “2006 Lathen maglev train accident” http://en.wikipedia.org/wiki/2006_Lathen_maglev_train_accident
  6. “Ariane 5 Flight 501.” en.wikipedia.org/wiki/Ariane_5_Flight_501
  7. “Air Canada Flight 143.” en.wikipedia.org/wiki/Gimli_Glider
  8. Allen Li April 2003 www.gao.gov/new.items/d03603t.pdf
  10. Jones M. “What Really Happened on Mars” http://research.microsoft.com/en-us/um/people/mbj/Mars_Pathfinder/
  11. Lui Sha Rajkumar R. Lehoczky John P. September 1990 “Priority Inheritance Protocols: An Approach to Real-Time Synchronization” IEEE Transactions on Computers 39 (9) 1175 1185
  12. “History of the Internet.” www.thocp.net/reference/internet/internet2.htm
  13. Avionics Application Software Standard Interface “ARINC 653 Standard Document.” www.arinc.com
  14. Feiler P. “Upgrading Avionics Systems: A Case Study” DARPA EDCS Project Report 1998
  15. Cervin A. Årzén K.-E. Henriksson D. “Control Loop Timing Analysis Using TrueTime and Jitterbug,” 1194–1199. Proceedings of the 2006 IEEE Conference on Computer Aided Control Systems Design (CACSD) Munich, Germany October 4–6, 2006
  16. “Qantas Flight 72.” en.wikipedia.org/wiki/Qantas_Flight_72
  17. SAE International “Architecture Analysis & Design Language (AADL) Annex Volume 1: Error Model Annex” SAE Document AS-5506/1 2006 June
  18. Bell C. Newell A. “Computer Architectures: Readings and Examples” McGraw-Hill 1971
  19. Min-Young Nam Pellizzoni R. Lui Sha “ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture” 14th IEEE International Conference on Engineering of Complex Computer Systems 2009
  20. Feiler Peter H. Hansson Jörgen “Impact of Runtime Architectures on Control System Stability” Proceedings of 4th International Congress on Embedded Real-Time Systems Jan 2008
  21. de Niz D. Feiler P. H. “Verification of Replication Architectures in AADL” 4th IEEE International Workshop UML and AADL, Proceedings 14th International International Conference on Engineering of Complex Computer Systems (ICECCS 2009)
  22. Fanca R.B. et al. “The AADL Behavioral Annex - Experiments and Roadmap” Proceedings of 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS07), UML&AADL Workshop July 2007
  23. www.sysml.org

Cited By

Recommended Content

Journal Article The Systems Engineering Relationship between Qualification, Environmental Stress Screening and Reliability
Technical Paper Interconnect Benefits and Status Quo of System Level Standardization
Technical Paper Case Study of Using High Performance Commercial Processors in Space