Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems

  • Richard W. Selby
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5543)


Mission-critical embedded software performs the core processing logic for pervasive systems that affect people and enterprises everyday, ranging from aerospace systems to financial markets to automotive systems. In order to function properly, these embedded software systems rely on and are highly interdependent with other hardware and software systems. This research identifies design principles for large-scale mission-critical embedded software and investigates their application in development strategies, architectures, and techniques. We have examined actual embedded software systems from two different problem domains, advanced robotic spacecraft and financial market systems, and these analyses established the foundations for these design principles. Both system types embody solutions that respond to detailed specifications defined and modeled with heavy user involvement. Both system types possess mission-critical logic represented using state machines and other structured techniques. They both use a layered architecture approach with a foundation that provides infrastructure services, a layer with a simple set of foreground and background tasks, a layer with deterministic synchronous processing steps, and a layer with event-driven monitoring, commanding, and sequencing capabilities. The architectural approach supports a domain-specific command sequencing macro language that defines table-driven executable specifications and enables developers to work at higher abstraction levels throughout the lifecycle. The architectural approach also facilitates extensibility, reuse, and portability across multi-processor execution environments. The systems rely on extensive built-in self-tests, invariants, and redundant calculations that assess states and detect faults. From a development standpoint, both systems use risk-driven incremental lifecycles, system modeling, end-to-end prototyping, and statistical analysis of development processes. Based on insights gained from embedded software design principles and their application on these as well as other systems, improvement opportunities and research directions will be identified.


Embed Software Architectural Approach Fault Detection Strategy Fault Protection CMMI Level 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    [Bas99] Basili, V.R., Shull, F., Lanubile, F.: Building Knowledge through Families of Experiments. IEEE Transactions on Software Engineering SE-25(4), 456–473 (1999) CrossRefGoogle Scholar
  2. 2.
    [Boe81] Boehm, B.W.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981) zbMATHGoogle Scholar
  3. 3.
    [Gra00] Graves, T.L., Karr, A.F., Marron, J.S., Siy, H.: Predicting Fault Incidence Using Software Change History. IEEE Transactions on Software Engineering SE-26(7), 653–661 (2000) CrossRefGoogle Scholar
  4. 4.
    [Hum88] Humphrey, W.S.: Characterizing the Software Process: A Maturity Framework. IEEE Software 5(2), 73–79 (1988) CrossRefGoogle Scholar
  5. 5.
    [Myr05] Myrtveit, I., Stensrud, E., Shepperd, M.: Reliability and Validity in Comparative Studies of Software Prediction Models. IEEE Transactions on Software Engineering SE-31(5), 380–391 (2005) CrossRefGoogle Scholar
  6. 6.
    [Sel91] Selby, R.W., Porter, A.A., Schmidt, D.C., Berney, J.: Metric-Driven Analysis and Feedback Systems for Enabling Empirically Guided Software Development. In: Proceedings of the 13th International Conference on Software Engineering, Austin, TX (May 1991) Google Scholar
  7. 7.
    [Sel05] Selby, R.W.: Enabling Reuse-Based Software Development of Large-Scale Systems. IEEE Transactions on Software Engineering SE-31(6), 495–510 (2005) CrossRefGoogle Scholar
  8. 8.
    [Wom90] Womack, J.P., Jones, D.T., Roos, D.: The Machine that Changed the World: The Triumph of Lean Production. Rawson Associates, New York (1990)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Richard W. Selby
    • 1
  1. 1.Northrop Grumman Space Technology Computer Science DepartmentUniversity of Southern CaliforniaUSA

Personalised recommendations