Towards Design Verification and Validation at Multiple Levels of Abstraction [chapter]

Holger Giese, Martin Kardos, Ulrich Nickel
2002 IFIP Advances in Information and Communication Technology  
The specification of software for distributed production control systems is an error prone task. The ISILEIT project aims at the development of a seamless methodology for the integrated design. analysis and validation of such embedded systems. Suitable subsets of UML and SDL for the design of such systems are therefore identified in a first step. The paper then focuses on how we use a series of formal semantics of our design language to enable the effective evaluation of software designs by
more » ... s of validation and verification. We will further explain how the use of multiple Abstract State Machine meta-models permits simulation and model checking at different levels of abstraction
doi:10.1007/978-0-387-35599-3_8 fatcat:h6rk6bsz55hvbgdz4vekm5tumu