With the trend to partially move safety-related features from courtyards into on-board control software, new challenges arise in supporting such designs by formal verification capabilities, essentially entailing the need for a model-based design process.
Introduction: special issue on the Fourth International Workshop of the ERCIM working group on formal methods for industrial critical systems, Trento, Italy, July 11-12, 1999 - Selected papers.
Gnesi S;Latella D
2001
Abstract
With the trend to partially move safety-related features from courtyards into on-board control software, new challenges arise in supporting such designs by formal verification capabilities, essentially entailing the need for a model-based design process.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
