Towards Design Verification and Validation at Multiple Levels of Abstraction (bibtex)
by , ,
Abstract:
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 means 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
Reference:
Towards Design Verification and Validation at Multiple Levels of Abstraction (Holger Giese, Martin Kardos, Ulrich A. Nickel), In Proc. of IFIP World Computer Congress, Stream 7 on Distributed and Parallel Embedded Systems (DIPES2002), Montreal, Canada., Kluwer Academic Publishers, 2002.
Bibtex Entry:
@InProceedings{GKN02_2_ag,
AUTHOR = {Giese, Holger and Kardos, Martin and Nickel, Ulrich A.},
TITLE = {{Towards Design Verification and Validation at Multiple Levels of Abstraction}},
YEAR = {2002},
MONTH = {August},
BOOKTITLE = {Proc. of IFIP World Computer Congress, Stream 7 on Distributed and Parallel Embedded Systems (DIPES2002), Montreal, Canada.},
PUBLISHER = {Kluwer Academic Publishers},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2002/DIPES02.pdf},
ABSTRACT = {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 means 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}
}
Powered by bibtexbrowser