Isbn: 9786133292437 - dream (software): platform-independent, formal specification, formal semantics of programming languages (3 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 100 pp. Englisch.

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. The DistributedReal-time Embedded Analysis Method (DREAM) is a platform-independentopen-source tool for the verification and analysis of distributedreal-time and embedded (DRE) systems which focuses on the practicalapplication of formal verification and timing analysis to real-timemiddleware. DREAM supports formal verification of scheduling based ontask timed automata using the Uppaal model checker and the Verimag IFtoolset as well as the random testing of real-time components using adiscrete event simulator. DREAM is developed at the Center for EmbeddedComputer Systems at the University of California, Irvine, in cooperationwith researchers from Vanderbilt University.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. The DistributedReal-time Embedded Analysis Method (DREAM) is a platform-independentopen-source tool for the verification and analysis of distributedreal-time and embedded (DRE) systems which focuses on the practicalapplication of formal verification and timing analysis to real-timemiddleware. DREAM supports formal verification of scheduling based ontask timed automata using the Uppaal model checker and the Verimag IFtoolset as well as the random testing of real-time components using adiscrete event simulator. DREAM is developed at the Center for EmbeddedComputer Systems at the University of California, Irvine, in cooperationwith researchers from Vanderbilt University.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 100 pp. Englisch.…