---

Designing State-based Systems with Entity-Life Modeling

B. Sanden, J. Zalewski

Journal of Systems and Software, Vol. 79, No. 1, pp. 69-78, 2006.

Abstract: This article introduces the entity-life modeling (ELM) design approach for multithread software. The article focuses on problems that can be described by state machines with associated activities. We compare ELM with a traditional design approach based on a dataflow model. Using a cruise controller for a car as an example, we show that entity-life modeling is a more direct and less ceremonious approach that produces a much simpler architecture. © 2005 Elsevier Inc. All rights reserved.

Software Development Tools Qualification from the DO-178B

A.J. Kornecki, J. Zalewski

Crosstalk - The Journal of Defense Software Engineering, Vol. 19, No. 4, pp. 19-22, April 2006.

Abstract: Software development tools are in wide use among safety-critical system developers. Examples of such use include aviation, automotive, space, nuclear, railroad, medical, and military applications. However, verification of tool output to ensure safety, mandated in highly regulated industries, requires enormous effort. If a tool is qualified, this effort can be reduced or even eliminated. The Radio Technical Commission for Aeronautics Document Order-178B and related documents provide guidelines by which to qualify these tools. However, current regulations, business models, and industry practice make this goal difficult to accomplish. This article discusses the qualification of development tools and the potential impact of this process on the aviation industry.