A Dual Language Approach to the Development of Time-Critical Systems

被引：4
|
作者：
Lavazza, Luigi [1 ,2 ]
Morasca, Sandro [3 ]
Morzenti, Angelo [2 ]
机构：
[1] CEFRIEL, Milan, Italy
[2] Politecn Milan, Dipartimento Elettron & Informaz, Milan, Italy
[3] Univ Insubria, Dipartimento Sci Cultura Polit & Informaz, Como, Italy
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 116卷
关键词：
time-critical system; verification; testing; UML; OTL; OCL;
D O I：
10.1016/j.entcs.2004.02.079
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Developing time-critical systems requires expressive, rigorous, easy to use notations to describe the time-related features of the systems, in a way that is formal enough to support and automate activities like property verification and test case generation. We propose a dual-language approach provided with a descriptive formalism for specifying the properties of a system and its components in addition to the typical UML (and UML-RT) diagrams. This description consists of a formula of a new logic, called OTL (Object Temporal Logic), which is an extension of OCL. The approach is applied to a case study derived from the authors' industrial experiences.
引用
收藏
页码：227 / 239
页数：13
相关论文
共 50 条
  • [1] Time-Critical Systems Design
    Henkel, Jorg
    [J]. IEEE DESIGN & TEST, 2018, 35 (02) : 4 - 4
  • [2] Acute aortic syndrome: A systems approach to a time-critical disease
    Kawabori, Masashi
    Kaneko, Tsuyoshi
    [J]. BEST PRACTICE & RESEARCH-CLINICAL ANAESTHESIOLOGY, 2016, 30 (03) : 271 - 281
  • [3] Time-Critical Systems Design: A Survey
    Mitra, Tulika
    Teich, Juergen
    Thiele, Lothar
    [J]. IEEE DESIGN & TEST, 2018, 35 (02) : 8 - 26
  • [4] Towards the control of time-critical systems
    Bonhomme, P
    Aygalinc, P
    Calvez, S
    [J]. PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA'01), 2001, : 1184 - 1189
  • [5] Robust control for time-critical systems
    Bonhomme, P
    Aygalinc, P
    Calvez, S
    [J]. ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2001, : 537 - 546
  • [6] A sound and practical approach to the re-engineering of time-critical systems
    Zedan, H
    Yang, H
    [J]. SECOND EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 1998, : 220 - 223
  • [7] Application development in time-critical projects
    Brandt-Pook, H
    Korzen, B
    Boidol, J
    Peyn, H
    [J]. WIRTSCHAFTSINFORMATIK, 2001, 43 (03): : 247 - +
  • [8] Run-time analysis of time-critical systems
    Zhou, SK
    Zedan, H
    Cau, A
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2005, 51 (05) : 331 - 345
  • [9] Advantages of Deferred Approach for Time-Critical Tasks
    Osipov, Pavel
    Borisov, Arkady
    [J]. INFORMATICA, 2014, 25 (03) : 467 - 484
  • [10] Reliability modelling of time-critical distributed systems
    Hansson, H
    Norström, C
    Punnekkat, S
    [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2000, 1926 : 94 - 105
12345