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 条

[1] Model-Based Analysis of Safety Critical Systems
Kushal, K. S.
Paul, John J.
Nanda, Manju
Jayanthi, J.
2017 INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION, EMBEDDED AND COMMUNICATION SYSTEMS (ICIIECS), 2017,
[2] Model-Based Systems Engineering Approaches to Improve Manufacturing
不详
CHEMICAL ENGINEERING PROGRESS, 2023, 119 (08) : 14 - 14
[3] Model-based approaches and frameworks for embedded software systems
Fernandes, Joao M.
Dori, Dov
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2012, 8 (01) : 1 - 2
[4] Model-based approaches and frameworks for embedded software systems
João M. Fernandes
Dov Dori
Innovations in Systems and Software Engineering, 2012, 8 (1) : 1 - 2
[5] MODEL-BASED ADAPTATION OF FLIGHT-CRITICAL SYSTEMS
Ray, Sumit
Karsai, Gabor
McNeill, Kevin M.
2009 IEEE/AIAA 28TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1-3, 2009, : 1485 - +
[6] Model-based Regression Test Selection for Validating Runtime Adaptation of Software Systems
Al-Refai, Mohammed
Ghosh, Sudipto
Cazzola, Walter
2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 288 - 298
[7] Model-Based Techniques for Performance Engineering of Business Information Systems
Kounev, Samuel
Huber, Nikolaus
Spinner, Simon
Brosig, Fabian
BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2011, 2012, 109 : 19 - 37
[8] Model-based systems engineering approaches to chemicals and materials manufacturing
Le, Quang
Feingold, Joshua
Glandorf, William
Kent, Jeff
Sherman, Robert
Ferri, James K. K.
AICHE JOURNAL, 2023, 69 (08)
[9] MODEL-BASED APPROACHES TO HUMAN-AUTOMATION SYSTEMS DESIGN
Jamieson, Greg A.
Andersson, Jonas
Bisantz, Ann
Degani, Asaf
Lind, Morten
PROCEEDINGS OF THE ASME 11TH BIENNIAL CONFERENCE ON ENGINEERING SYSTEMS DESIGN AND ANALYSIS, 2012, VOL 2, 2012, : 871 - 880
[10] A Reference Model for Model-Based Design of Critical Infrastructure Protection Systems
Shin, Young Don
Park, Cheol Young
Lee, Jae-Chon
MODELING AND SIMULATION FOR DEFENSE SYSTEMS AND APPLICATIONS X, 2015, 9478

← 1 2 3 4 5 →