Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software

被引：1

作者：

de Ferro, Carlos Mao ^{[1
]}

Mavridou, Anastasia ^{[2
]}

Dille, Michael ^{[2
]}

Martins, Francisco ^{[3
]}

机构：

[1] Univ Lisbon, Fac Ciencias, LASIGE, Lisbon, Portugal

[2] NASA, Ames Res Ctr, KBR Inc, Washington, DC 20546 USA

[3] Univ Acores, Ponta Delgada, Portugal

来源：

2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W | 2023年

关键词：

requirements; verification; mission-critical code; VERIFICATION;

D O I：

10.1109/DSN-W58399.2023.00066

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Developing critical software requires adherence to rigorous software development practices, such as formal requirement specification and verification. Despite their importance, such practices are often considered as complex and challenging tasks that require a strong formal methods background. In this paper, we present our work on simplifying the formal requirements specification experience for resource-constrained mission critical software through the use of structured natural language. To this end, we connect NASA's FRET, a formal requirement elicitation and authoring tool with the Shelley model checking framework for MicroPython code. We report our experience on using these tools to specify requirements and analyze code from the NASA Ames PHALANX exploration concept.

引用

页码：263 / 266

页数：4

共 50 条

[31] Fuzzy resource-constrained project scheduling for GIS software development
Bershtein, L.
Knyazeva, M.
Rozenberg, I.
PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY, 2015, 89 : 1542 - 1548
[32] Framework for resource-constrained rate-optimal software pipelining
Indian Inst of Science, Bangalore, India
IEEE Trans Parallel Distrib Syst, 11 (1133-1149):
[33] Dynamic software update of resource-constrained distributed embedded systems
Felser, Meik
Kapitza, Ruediger
Kleinoeder, Juergen
Schroeder-Preikschat, Wolfgang
EMBEDDED SYSTEM DESIGN: TOPICS, TECHNIQUES AND TRENDS, 2007, 231 : 387 - +
[34] A Resource Sharing Platform for Resource-Constrained Software Defined Cognitive Radio Networks
Halloush, Rami
Musa, Ahmed
Salameh, Haythem Bany
Halloush, Mohammed
Almalkawi, Islam
2018 FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE DEFINED SYSTEMS (SDS), 2018, : 32 - 39
[35] Fuzzy Resource-Constrained Project Scheduling Problem for Software Development
WANG Xianggang1
2. State Key Laboratory of Software Engineering
Wuhan University Journal of Natural Sciences, 2010, 15 (01) : 25 - 30
[36] THE SOFTWARE PRODUCTIVITY CONSORTIUM (SPC) - AN INDUSTRY INITIATIVE TO IMPROVE THE PRODUCTIVITY AND QUALITY OF MISSION-CRITICAL SOFTWARE
DOE, DD
BERSOFF, EH
JOURNAL OF SYSTEMS AND SOFTWARE, 1986, 6 (04) : 367 - 378
[37] Methodology for cost-effective software fault tolerance for mission-critical systems
Kreutzfeld, Robert J.
Neese, Richard E.
AIAA/IEEE Digital Avionics Systems Conference - Proceedings, 1996, : 19 - 24
[38] Applying COTS Java benefits to mission-critical real-time software
Nilsen, Kelvin
CrossTalk, 2007, 20 (06): : 19 - 24
[39] A methodology for cost-effective software fault tolerance for mission-critical systems
Kreutzfeld, RJ
Neese, RE
15TH DASC - AIAA/IEEE DIGITAL AVIONICS SYSTEMS CONFERENCE, 1996, : 19 - 24
[40] Loop transformations for reducing data space requirements of resource-constrained applications
Unnikrishnan, P
Chen, GY
Kandemir, M
Karakoy, M
Kolcu, I
STATIC ANALYSIS, PROCEEDINGS, 2003, 2694 : 383 - 400

← 1 2 3 4 5 →