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 条
  • [31] Situational influences on response time and maneuver choice: Development of time-critical scenarios
    Powelleit, Matthias
    Vollrath, Mark
    [J]. ACCIDENT ANALYSIS AND PREVENTION, 2019, 122 : 48 - 62
  • [32] THE DESIGN OF TIME-CRITICAL CONVERSATIONS
    TYRRELL, AM
    CARPENTER, GF
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 785 - 792
  • [33] A Resource Allocation Approach for Supporting Time-Critical Applications in Grid Environments
    Zhu, Qian
    Agrawal, Gagan
    [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5, 2009, : 453 - 464
  • [34] An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints
    Tavares, Eduardo
    Silva, Bruno
    Maciel, Paulo
    [J]. SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 291 - 300
  • [35] Punctual Cloud: Achieving Punctuality for Time-Critical Cloud Control Systems
    Peng, Haorui
    Akbarian, Fatemeh
    Arneberg, William T. Spacing Diaeresis
    Kihl, Maria
    [J]. 2023 IEEE 12TH INTERNATIONAL CONFERENCE ON CLOUD NETWORKING, CLOUDNET, 2023, : 9 - 17
  • [36] Time-Critical Wireless Networked Embedded Systems: Feasibility and Experimental Assessment
    Branz, Francesco
    Antonello, Riccardo
    Schenato, Luca
    Tramarin, Federico
    Vitturi, Stefano
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2020, 16 (12) : 7732 - 7742
  • [37] STAND-ALONE PROGRAMMABLE CONTROLLER FOR TIME-CRITICAL ROBOTIC SYSTEMS
    FADUL, F
    BAS, F
    [J]. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1992, 9 (03) : 191 - 199
  • [38] Time-Critical Data Dissemination in Cooperative Peer-to-Peer Systems
    Wu, Chi-Jen
    Li, Cheng-Ying
    Yang, Kai-Hsiang
    Ho, Jan-Ming
    Chen, Ming-Syan
    [J]. GLOBECOM 2009 - 2009 IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE, VOLS 1-8, 2009, : 2942 - +
  • [39] An Influence Diagram Approach for Multiagent Time-Critical Dynamic Decision Modeling
    Sun, Le
    Zeng, Yifeng
    Xiang, Yanping
    [J]. PRICAI 2010: TRENDS IN ARTIFICIAL INTELLIGENCE, 2010, 6230 : 674 - +
  • [40] An approach to automatic process deviation detection in a time-critical clinical process
    Yang, Sen
    Sarcevic, Aleksandra
    Farneth, Richard A.
    Chen, Shuhong
    Ahmed, Omar Z.
    Marsic, Ivan
    Burd, Randall S.
    [J]. JOURNAL OF BIOMEDICAL INFORMATICS, 2018, 85 : 155 - 167
12345