A formal design notation for real-time systems

被引：7
作者：
Felder, M
Pezzè, M
机构：
[1] Univ Buenos Aires, FCEN, Dept Computac, RA-1428 Buenos Aires, DF, Argentina
[2] Univ Milan, Dipartimento Informat, I-2026 Milan, Italy
来源：
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | 2002年 / 11卷 / 02期
关键词：
design; formal design specification; design of real time systems; structured design; formal analysis of design specification;
D O I：
10.1145/505145.505146
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The development of real-time systems is based on a variety of different methods and notations. Despite the purported benefits of formal methods, informal techniques still play a predominant role in current industrial practice. Formal and informal methods have been combined in various ways to smoothly introduce formal methods in industrial practice. The combination of real-time structured analysis (SA-RT) with Petri nets is among the most popular approaches, but has been applied only to requirements specifications. This paper extends SA-RT to specifications of the detailed design of embedded real-time systems, and combines the proposed notation with Petri nets.
引用
收藏
页码：149 / 190
页数：42
相关论文
共 41 条
[11]  
DURI S, 1993, P INT S SOFTW TEST A
[12]   GIVING SEMANTICS TO SA/RT BY MEANS OF HIGH-LEVEL TIMED PETRI NETS [J].
ELMSTROM, R ;
LINTULAMPI, R ;
PEZZE, M .
REAL-TIME SYSTEMS, 1993, 5 (2-3) :249-271
[13]  
FELDER M, 1997, P KIT125 WORKSH FORM
[14]  
FELDER M, 1993, P INT S SOFTW TEST A
[15]  
FRANCE RB, 1992, IEEE T SOFTWARE ENG, V18, P4
[16]  
FRANK R, 1994, P SENS EXP W AN CA F, P249
[17]   INFORMAL AND FORMAL REQUIREMENTS SPECIFICATION LANGUAGES - BRIDGING THE GAP [J].
FRASER, MD ;
KUMAR, K ;
VAISHNAVI, VK .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (05) :454-466
[18]  
FREDETTE AN, 1993, REAL-TIME SYSTEMS SYMPOSIUM: PROCEEDINGS, P274, DOI 10.1109/REAL.1993.393489
[19]  
Ghezzi C., 1991, FUNDAMENTALS SOFTWAR
[20]  
GHEZZI C, 1991, IEEE T SOFTW ENG FEB, P17
12345