Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems

Date Added: Jan 2010
Format: PDF

Software development approaches that are based on modeling a system before performing the actual implementation work have a long history in computing. Among the first ones were data (base) modeling approaches using the Entity/Relationship model and similar other techniques. During further development, modeling techniques became increasingly complete, covering not only data aspects, but also structural/topological and behavioral aspects of systems. Typical representatives of such full-scale modeling approaches are structured methods, such as Structured Analysis & Design, or object-oriented methods like the UML.