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 条

[41] Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems
Elqortobi, Mounia
El-Khouly, Warda
Rahj, Amine
Bentahar, Jamal
Dssouli, Rachida
NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 63 - 74
[42] Supporting model-based safety analysis for safety-critical IoT systems
Ihirwe, Felicien
Di Ruscio, Davide
Di Blasio, Katia
Gianfranceschi, Simone
Pierantonio, Alfonso
JOURNAL OF COMPUTER LANGUAGES, 2024, 78
[43] Industrial-Strength Model-Based Testing of Safety-Critical Systems
Peleska, Jan
Huang, Wen-ling
FM 2016: FORMAL METHODS, 2016, 9995 : 3 - 22
[44] Model-based design, analysis and assessment framework for safety-critical systems
Lu, Kuen-Long
Chen, Yung-Yuan
51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 25 - 26
[45] Development of safety-critical systems and model-based risk analysis with UML
Jürjens, J
Houmb, SH
DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
[46] Integrating Safety Certification into Model-based Testing of Safety-critical Systems
Gannous, Aiman
Andrews, Anneliese
2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
[47] Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology
Elqortobi, Mounia
El-Khouly, Warda
Rahj, Amine
Bentahar, Jamal
Dssouli, Rachida
COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2020, 17 (01) : 271 - 292
[48] Model-based software development - A Process for safety-critical embedded Systems
Kuschnerus, Dirk
Gerding, Michael
Bilgic, Attila
Musch, Thomas
ATP EDITION, 2012, (7-8): : 60 - 66
[49] Model-Based Systems Engineering for Machine Tools and Production Systems (Model-Based Production Engineering)
Kuebler, Karl
Scheifele, Stefan
Scheifele, Christian
Riedel, Oliver
4TH INTERNATIONAL CONFERENCE ON SYSTEM-INTEGRATED INTELLIGENCE: INTELLIGENT, FLEXIBLE AND CONNECTED SYSTEMS IN PRODUCTS AND PRODUCTION, 2018, 24 : 216 - 221
[50] Approaches to analysis in model-based cognitive neuroscience
Turner, Brandon M.
Forstmann, Birte U.
Love, Bradley C.
Palmeri, Thomas J.
Van Maanen, Leendert
JOURNAL OF MATHEMATICAL PSYCHOLOGY, 2017, 76 : 65 - 79

← 1 2 3 4 5 →