ASSIP Study of Real-Time Safety-Critical Embedded Software-Intensive System Engineering Practices
暂无分享,去创建一个
Abstract : Modern weapon systems increasingly depend on real-time, safety-critical, embedded (RTSCE) software to achieve their mission objectives. In addition, these systems are experiencing far longer service lives than anticipated at their inception. Army weapon system developers are concerned that this combination of factors renders today's software acquisition and development practices insufficient to address the challenges of these software-intensive systems. To address the concern, the Army Strategic Software Improvement Program tasked the Carnegie Mellon Software Engineering Institute (SEI) to assess RTSCE software-intensive systems issues and develop recommendations. The findings of phase one of that study are presented in this report: (1) industry is driving the development of tools for model-based engineering to meet the needs of RTSCE system development, and (2) many opportunities exist for the U.S. Department of Defense (DoD) to gain experience and advance the transition of these tools into DoD programs.
[1] Peter H. Feiler,et al. From PIMs to PSMs , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
[2] Mamoun Filali,et al. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment , 2008 .
[3] Martyn Thomas,et al. Software for Dependable Systems: Sufficient Evidence? , 2007 .
[4] Bruce,et al. System Engineering Approaches for Performance Critical Avionics Embedded Computer Systems Using the Architecture Analysis and Design Language , 2007 .