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 条

[41] Resource Allocation in Relay-Assisted Mission-Critical Industrial Internet of Things
Ning, Weichen
Wang, Ying
Chen, Yuanbin
Liu, Man
2020 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE WORKSHOPS (WCNCW), 2020,
[42] Methodology for cost-effective software fault tolerance for mission-critical systems
Kreutzfeld, RJ
Neese, RE
IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 1997, 12 (09) : 25 - 30
[43] Methodology for cost-effective software fault tolerance for mission-critical systems
TASC, Fairborne, United States
IEEE Aerosp Electron Syst Mag, 1600, 9 (25-30):
[44] Generating Code Review Documentation for Auto-Generated Mission-Critical Software
Denney, Ewen
Fischer, Bernd
SMC-IT 2009: THIRD IEEE INTERNATIONAL CONFERENCE ON SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY, PROCEEDINGS, 2009, : 394 - +
[45] A software quality framework for large-scale mission-critical systems engineering
Carrozza, Gabriella
Pietrantuono, Roberto
Russo, Stefano
INFORMATION AND SOFTWARE TECHNOLOGY, 2018, 102 : 100 - 116
[46] Resource-constrained project scheduling:: A critical activity reordering heuristic
Valls, V
Quintanilla, S
Ballestín, F
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2003, 149 (02) : 282 - 301
[47] Resource Allocation for URLLC in 5G Mission-Critical IoT Networks
Ren, Hong
Pan, Cunhua
Deng, Yansha
Elkashlan, Maged
Nallanathan, Arumugam
ICC 2019 - 2019 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2019,
[48] PRAC: A Software System to Solve the Resource-constrained Project Scheduling Problem
Zhang, Mao-sheng
Zhao, Ying
Cao, Bo
2016 INTERNATIONAL CONFERENCE ON BUSINESS AND MANAGEMENT (ICBM 2016), 2016, : 37 - 42
[49] Toward Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
Nunes, Ivan De Oliveira
Jakkamsetti, Sashidhar
Rattanavipanon, Norrathep
Tsudik, Gene
IEEE COMMUNICATIONS MAGAZINE, 2024, 62 (07) : 58 - 64
[50] Framework for Identification of Critical Factors for Open Source Software Adoption Decision in Mission-Critical IT Infrastructure Services
Umm-e-Laila, F.
Najeed Ahmed Khan, S.
Asad Arfeen, T.
IETE JOURNAL OF RESEARCH, 2023, 69 (02) : 635 - 648

← 1 2 3 4 5 →