STATEMATE - A WORKING ENVIRONMENT FOR THE DEVELOPMENT OF COMPLEX REACTIVE SYSTEMS

被引:376
作者
HAREL, D
LACHOVER, H
NAAMAD, A
PNUELI, A
POLITI, M
SHERMAN, R
SHTULLTRAURING, A
TRAKHTENBROT, M
机构
[1] AD CAD LTD,REHOVOT,ISRAEL
[2] WEIZMANN INST SCI,DEPT APPL MATH & COMP SCI,IL-76100 REHOVOT,ISRAEL
关键词
Code-generation; executable specifications; functional decomposition; propotyping; reactive systems; statecharts; STATEMATE;
D O I
10.1109/32.54292
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper provides an overview of the STATEMATE® system, constructed over the past several years by the authors and their colleagues at Ad Cad Ltd., the R&D subsidiary of i-Logix, Inc. STATEMATE is a set of tools, with a heavy graphical orientation, intended for the specification, analysis, design, and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and interactive software or hardware. It enables a user to prepare, analyze, and debug diagrammatic, yet precise, descriptions of the system under development from three interrelated points of view, capturing structure, functionality, and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts [4], used to depict reactive behavior over time. In addition to the use of state-charts, the main novelty of STATEMATE is in the fact that it “understands” the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous executions and simulations of the described system, and to create running code automatically. These features are invaluable when it comes to the quality and reliability of the final outcome. © 1990 IEEE
引用
收藏
页码:403 / 414
页数:12
相关论文
共 22 条