Boek
This book presents a synthesis of recent works concerning reactive systemdesign. The term reactive system has been introduced in order to avoidambiguities often involved with the term realtime system which while beingbestknown and suggestive has been assigned so many different meanings that itis almost inevitably misunderstood. Industrial Process control systemtransportation control and supervision systems signal processing systems etc.are examples of the systems we have in mind. br Four programming languages arepresented which share the same underlying emsynchronousem model based onRobin Milners pioneering works about synchronous process algebras this modelconsists in considering that a program eminstantaneouslyem reacts to eventsor that the machine execution time is negligible with respect to the responsedelays of its environment. Using this abstract point of view the time behaviorof a system can be formalized in a very simple and elegant way. br Thelanguages presented are ESTEREL a textual imperative language ARGOS agraphical language inspired by STATECHARTS and LUSTRE and SIGNAL twodeclarative languages. br After a tutorial description of the languagesillustrated by various examples a set of related tools is presented compilersto sequential and distributed code silicon compilers verification tools. br «
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Er zijn nog geen recensies voor dit boek.