Specification and analysis of timing properties in a case tool CONRAD |
| |
| Affiliation: | 1. Michigan State University, Eli Broad College of Business, East Lansing, MI 48824, United States;2. Northeastern University, D''Amore-McKim School of Business, Boston, MA 02115, United States;3. HEC Montreal, Montréal, (Québec) H3T 2A7, Canada;4. Utah State University, John M. Huntsman School of Business, Logan, UT 84322, United States;5. CTF, Service Research Center, Karlstad Business School, Karlstad University, SE-651 88 Karlstad, Sweden;6. Catholic University of Portugal (Porto), Rua Diogo Botelho, 1327, Portugal;7. Michigan State University, Eli Broad College of Business, East Lansing, MI 48824, United States |
| |
| Abstract: | The methods and environments for developing real-time systems have become an important factor encouraging the rapidly increasing role of real-time systems in everyday life. In spite of the remarkable success in applying software engineering tools to real-time systems, the analysis of timing properties and the consistency proofs of time-constraints is still in its infancy.This paper suggests a solution which improves the ability to study and prove time-correctness of real-time systems. CONRAD (CONtrol software Requirements, Analysis and Design) is a set of tools which allows formal specification and analysis of timing properties (the EDITOR), and informal analysis (animation) starting from the early stages of the requirements specification. This paper describes the possibilities provided by the EDITOR. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
