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 条

[21] Reliable, Distributed Scheduling and Rescheduling for Time-Critical, Multiagent Systems
Whitbrook, Amanda
Meng, Qinggang
Chung, Paul W. H.
[J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2018, 15 (02) : 732 - 747
[22] Object-oriented logical specification of time-critical systems
Morzenti, Angelo
San Pietro, Pierluigi
[J]. ACM Transactions on Software Engineering and Methodology, 1994, 3 (01) : 56 - 98
[23] A Flexible and Efficient Approach to Component Test in Time-Critical Scenarios
Bao, Xiaojing
Wang, Zhenxing
Chen, Xiao
[J]. REUSE IN THE BIG DATA ERA, 2019, 11602 : 3 - 13
[24] DELIVERY OF TIME-CRITICAL MESSAGES USING A MULTIPLE COPY APPROACH
RAMANATHAN, P
SHIN, KG
[J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1992, 10 (02): : 144 - 166
[25] Composable and Predictable Dynamic Loading for Time-Critical Partitioned Systems
Sinha, Shubhendu
Koedam, Martijn
van Wijk, Rob
Nelson, Andrew
Nejad, Ashkan Beyranvand
Geilen, Marc
Goossens, Kees
[J]. 2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2014, : 285 - 292
[26] Optimization Techniques for Time-Critical Cyber-Physical Systems
Zhao, Yecheng
Zeng, Haibo
[J]. PROCEEDINGS OF THE WORKSHOP ON DESIGN AUTOMATION FOR CPS AND IOT (DESTION '19), 2019, : 41 - 50
[27] Performance-aware Scheduling of Multicore Time-critical Systems
Boudjadar, Jalil
Kim, Jin Hyun
Nadjm-Tehrani, Simin
[J]. 2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 105 - 114
[28] Multitimescale Mitigation for Performance Variability Improvement in Time-Critical Systems
Lin, Ji-Yung
Weckx, Pieter
Mishra, Subrat
Spessot, Alessio
Catthoor, Francky
[J]. IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2022, 30 (11) : 1757 - 1769
[29] The Soueneuphoria A time-critical Satire
Fugmann, Robert
[J]. INFORMATION-WISSENSCHAFT UND PRAXIS, 2013, 64 (06): : 361 - 364
[30] A Time Window Analysis for Time-Critical Decision Systems with Applications on Sports Climbing
Oppel, Heiko
Munz, Michael
[J]. AI, 2024, 5 (01) : 1 - 16

← 1 2 3 4 5 →