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 条
  • [1] Resource-constrained software pipelining
    Aiken, A
    Nicolau, A
    Novack, S
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1995, 6 (12) : 1248 - 1270
  • [2] Intelligent Resource Allocations for Software-Defined Mission-Critical IoT Services
    Nam, Chaebeen
    Math, Sa
    Tam, Prohim
    Kim, Seokhoon
    CMC-COMPUTERS MATERIALS & CONTINUA, 2022, 73 (02): : 4087 - 4102
  • [3] Online software maintenance for mission-critical systems
    Stanek, Jason
    Kothari, Suraj
    Nguyen, Tien N.
    Cruz-Neira, Carolina
    ICSM 2006: 22ND IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2006, : 93 - +
  • [4] Requirements for distributed mission-critical decision support systems
    White, Stephanie M.
    13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 123 - +
  • [5] Simplifying hepatitis C service delivery in resource-constrained settings
    Tucker, Joseph D.
    Wu, Dan
    Easterbrook, Philippa
    LANCET GASTROENTEROLOGY & HEPATOLOGY, 2021, 6 (05): : 339 - 340
  • [6] Reducing Memory Requirements of Resource-Constrained Applications
    Unnikrishnan, P.
    Chen, G.
    Kandemir, M.
    Karakoy, M.
    Kolcu, I.
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2009, 8 (03)
  • [7] V-AND-V OF FLIGHT AND MISSION-CRITICAL SOFTWARE
    DUKE, EL
    IEEE SOFTWARE, 1989, 6 (03) : 39 - 45
  • [8] The internet: Mission-critical purchasing tool, or untapped resource
    Osborn, M.
    Distribution Sales and Management, 2000, 41 (12):
  • [9] Software for constructing and managing mission-critical applications on the Internet
    Dzikowski, Piotr
    Informatica (Ljubljana), 1998, 22 (01): : 47 - 54
  • [10] Middleware support for resource-constrained software deployment
    Le Sommer, N
    Guidec, F
    DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, PROCEEDINGS, 2003, 2893 : 49 - 60
12345