6 research outputs found
Verified System Development with the AutoFocus Tool Chain
This work presents a model-based development methodology for verified
software systems as well as a tool support for it: an applied AutoFocus tool
chain and its basic principles emphasizing the verification of the system under
development as well as the check mechanisms we used to raise the level of
confidence in the correctness of the implementation of the automatic
generators.Comment: In Proceedings WS-FMDS 2012, arXiv:1207.184
Refinement of Pipe-and-Filter Architectures
Software and hardware architectures are prone to modifications