منابع مشابه
Real-Time Systems Development with MASS
In this paper, we demonstrate the capability of mass, a real-time design language, for large systems speciication. The paper presents a hierarchical speciication of an automatic cruise controller that evolves through stepwise reenement. In particular, we show modular design, the separation of the functional and reactive concerns, and the succinct and intuitive nature of speciications in mass.
متن کاملFormal Development of Real-time Systems with PLOT/MASS
The paper presents a formal development process of a real-time system. We employ two related languages: the real-time logic plot for plant modeling and requirements speciication, and the real-time language mass for the controller design. A deductive proof system is used to verify the design against the requirements. The examples given in the paper demonstrate the special features of the mass/pl...
متن کاملReal - Time Systems Development
base class<>Towable TrolleyTrailerVehicle Implementing an interface 13.7 Interobject messaging UML represents the various different types of communication that can takeplace between objects with a single message generalization. So an abstractUML message could be implemented by a straightforward call to a method,a remote procedure call (rpc), a piped messag...
متن کاملReasoning About Real - Time Reactive Systems with MASS ( Extended
This paper lays the theoretical foundation for formal reasoning with the language MASS. MASS is an activation oriented speciication language, suitable for specifying reactive real time systems. Following a short review of MASS, the paper presents a logical formalism based on the language of MASS events, for stating properties of MASS speciications. A version of MASS in which speciied reactions ...
متن کاملDevelopment of Safety-Critical Real-Time Systems
This paper presents an approach to the development of safety-critical real-time systems linking from the Requirements Language developed in the ESPRIT Project ProCoS to the Temporal Language of Transitions (TLT) speciication language developed at Siemens Corporate Research. A system is deened by a conventional mathematical model for a dynamic system where application speciic states denote funct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1999
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00133-1