Model-based approaches for validating business critical systems

被引：0

作者：

Augusto, J ^{[1
]}

Howard, Y ^{[1
]}

Gravell, A ^{[1
]}

Ferreira, C ^{[1
]}

Gruner, S ^{[1
]}

Leuschel, M ^{[1
]}

机构：

[1] Univ Southampton, Declarat Syst & Software Engn Res Grp, Dept Elect & Comp Sci, Southampton S017 1BJ, Hants, England

来源：

ELEVENTH ANNUAL INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE, PROCEEDINGS | 2004年

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Developing a business critical system can involve considerable difficulties. This paper describes part of a new methodology that tackles this problem using co-evolution of models and prototypes to strengthen the relationship between modelling and testing. We illustrate how different modelling frameworks, PromelaISPIN and B/ProB/AtelierB, can be used to implement this idea. As a way to reinforce integration between modelling and testing we use model-based tests and trace-driven model checking. As a result we were able to anticipate problems and guide the development of our software In a safer way, Increasing our, understanding of the system and its reliability.

引用

页码：225 / 233

页数：9

共 50 条

[21] Model-Based Deployment Generation for Safety-Critical Avionics Systems
Igna, Georgeta
Dieudonne, Laurent
Voss, Sebastian
Schaetz, Bernhard
2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2017, : 174 - 181
[22] Model-Based Approaches to Channel Charting
Aly, Amr
Ayanoglu, Ender
IEEE TRANSACTIONS ON COMMUNICATIONS, 2024, 72 (02) : 1207 - 1222
[23] Model-based approaches to unconstrained ordination
Hui, Francis K. C.
Taskinen, Sara
Pledger, Shirley
Foster, Scott D.
Warton, David I.
METHODS IN ECOLOGY AND EVOLUTION, 2015, 6 (04): : 399 - 411
[24] Model-based assurance evidence management for safety-critical systems
Luis de la Vara, Jose
Garcia, Arturo S.
Valero, Jorge
Ayora, Clara
SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2329 - 2365
[25] A taxonomy of model-based testing approaches
Utting, Mark
Pretschner, Alexander
Legeard, Bruno
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (05): : 297 - 312
[26] Channel Charting: Model-Based Approaches
Aly, Amr
Ayanoglu, Ender
ICC 2023-IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, 2023, : 1054 - 1060
[27] Model-based approaches to signal analysis
Martin, RJ
GEC JOURNAL OF RESEARCH, 1996, 13 (01): : 28 - 41
[28] Towards model-based methods for developing model-based systems
Coghill, GM
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2004, 33 (05) : 485 - 504
[29] Managing Organisational System Evolution Through Model-Based Systems Engineering Approaches
Kennedy, Grace
Shirvani, Farid
Scott, William
Campbell, Peter
2020 14TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2020), 2020,
[30] Anticipatory Capacity: Leveraging Model-Based Approaches to Design Systems for Dynamic Futures
Rhodes, Donna H.
Ross, Adam M.
MBSE: 2009 INTERNATIONAL CONFERENCE ON MODEL-BASED SYSTEMS ENGINEERING, 2009, : 46 - 51

← 1 2 3 4 5 →