More Web Proxy on the site http://driver.im/

research-article

ME-MPS: An MR-MPS-SW extension model for critical software in regulated environments

Authors:

Everton Machado,

Johnny MarquesAuthors Info & Claims

SBQS '23: Proceedings of the XXII Brazilian Symposium on Software Quality

Pages 52 - 61

https://doi.org/10.1145/3629479.3629508

Published: 06 December 2023 Publication History

Abstract

Safety-critical software puts human lives at risk or can cause significant financial losses in case of failures. Environments regulated by security standards impose requirements on critical software development organizations that aim to guide them in the development process. The MPS.br Reference Model for Software (MR-MPS-SW) aims to increase the quality of the software process of a wide range of Brazilian companies, small and medium-sized, from varied niches, being, therefore, a generalist model of high applicability and low application domain specificity. This work proposes the ME-MPS, an Extension Model to the MR-MPS-SW that adds Processes and Expected Results to guide entities interested in studying, adapting, or applying the national model in critical software projects. This work also reports the application in a proof of concept adaptation of one of the objectives of the RTCA DO-178C standard, used in software certification in the aviation domain.

References

[1]

ASSOCIAÇÃO BRASILEIRA DE NORMAS TÉCNICAS. 2015. NBR ISO 9001:2015 – Sistemas de gestão da qualidade – Requisitos. Rio de Janeiro, Brasil.

[2]

Alfredo Colenci Neto and Edson Walmir Cazarini. 2011. A referencial model for small companies of development software. IEEE Latin America Transactions 9, 1 (2011), 89–95. https://doi.org/10.1109/TLA.2011.5876426

[3]

Alan Ferreiros and Luiz Alberto Vieira Dias. 2015. Evaluation of accomplishment of do-178C objectives by cmmi-dev 1.3. Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015 (5 2015), 759–760. https://doi.org/10.1109/ITNG.2015.132

Digital Library

[4]

Fundação Nacional da Qualidade. 2022. Prêmio Nacional da Qualidade. https://fnq.org.br/melhores-em-gestao/. Acesso: 2022-11-07.

[5]

Barbara Gallina, Irfan Sljivo, and Omar Jaradat. 2012. Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. In 2012 35th Annual IEEE Software Engineering Workshop. 148–157. https://doi.org/10.1109/SEW.2012.22

Digital Library

[6]

Li Hou, Qi Liu, Kiran Saeed, Saqib Ali Haidery, M. Irfan Uddin, and Hizbullah Khattak. 2021. Enhancement of the Capability Maturity Model for Improving the Quality of Software Projects in Developing Countries. Scientific Programming 2021 (2021). https://doi.org/10.1155/2021/9982227

[7]

ISO/IEC. 2015. ISO/IEC 33002:2015 Information Technology -Process Assessment –Requirements for performing process assessment. Technical Report.

[8]

ISO/IEC/IEEE. 2017. ISO/IEC/IEEE 12207:2017 International Standard - Systems and software engineering – Software life cycle processes., 157 pages. https://doi.org/10.1109/IEEESTD.2017.8100771

[9]

Marcos Kalinowski, Gleison Santos, Rafael Prikladnicki, Ana Regina Rocha, Kival Chaves Weber, and José Antonio Antonioni. 2011. From software engineering research to Brazilian software quality improvement. In Proceedings - 25th Brazilian Symposium on Software Engineering, SBES 2011. 120–125. https://doi.org/10.1109/SBES.2011.31

Digital Library

[10]

Emmanuel Ledinot, Jean-Marc Astruc, Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Hervé Delseny, Jean Gassino, Gérard Ladier, Michel Leeman, Joseph Machrouh, 2012. A cross-domain comparison of software development assurance standards. Proc. of ERTS2 (2012).

[11]

J. Marques and A.M. Cunha. 2017. Verification scenarios of onboard databases under the RTCA DO-178C and the RTCA DO-200B. In 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC).

[12]

J. Marques and A.M. Cunha. 2018. Tailoring Traditional Software Life Cycles to Ensure Compliance of RTCA DO-178C and DO-331 with Model-Driven Design. In 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC).

[13]

J. Marques, S. Hayashi, and L. Barros. 2019. Caracterização de Cenários e Garantias de Segurança em Carregamentos de Software Aeronáutico. In Anais do V Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança (São Paulo). SBC, Porto Alegre, RS, Brasil, 1–10. https://doi.org/10.5753/wrac.2019.14031

[14]

ORGANISMO NACIONAL DE NORMALIZACIÓN Y CERTIFICACIÓN. 2011. Tecnología de la Información - Software - Modelos de Procesos y Evaluación para el Desarrollo y Mantenimiento de Software - Parte 02, Requisitos de Procesos (MoProSoft). NMX-I-059/02 -NYCE-2011, México.

[15]

Leanna Rierson. 2013. Developing Safety-Critical Software:. CRC Press. 610 pages.

[16]

RTCA. 2011. RTCA DO -178C Software Considerations in Airborne Systems and Equipment Certification. Technical Report.

[17]

S-18 Aircraft and Sys Dev and Safety Assessment Committee. 1996. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. Technical Report.

[18]

S-18 Aircraft and Sys Dev and Safety Assessment Committee. 2010. ARP-4754A Guidelines for Development of Civil Aircraft and Systems. Technical Report.

[19]

SEI. 2010. CMMI for Development, Version 1.3. Technical Report CMU/SEI-2010-TR-033. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=9661

[20]

Softex. 2021. MPS. BR - Melhoria de Processo do Software Brasileiro Guia Geral Sumário. https://softex.br/mpsbr/

[21]

Jan vom Brocke, Alan Hevner, and Alexander Maedche. 2020. Introduction to Design Science Research. Springer International Publishing, Cham, 1–13. https://doi.org/10.1007/978-3-030-46781-4_1

Cited By

Marques JMachado E(2024)Um Mapeamento do MPS.Br para o Desenvolvimento de Dispositivos Médicos com Foco em Engenharia de RequisitosAnais do XXVII Congresso Ibero-Americano em Engenharia de Software (CIbSE 2024)10.5753/cibse.2024.28451(241-255)Online publication date: 6-May-2024
https://doi.org/10.5753/cibse.2024.28451

Index Terms

ME-MPS: An MR-MPS-SW extension model for critical software in regulated environments
1. Computer systems organization
  1. Dependable and fault-tolerant systems and networks
    1. Redundancy
  2. Embedded and cyber-physical systems
    1. Embedded systems
    2. Robotics
2. Networks
  1. Network properties
    1. Network reliability

Recommendations

Enhancing Aviation Software Development: An Experience Report on Conducting Audits
SBQS '23: Proceedings of the XXII Brazilian Symposium on Software Quality

Software audits have paramount importance as they play a critical role in upholding the integrity, security, safety, and regulatory compliance of software systems. In the context of aviation, the RTCA DO-178C standard is specifically designed to guide ...
Position paper: DO-178C/ED-12C and object-orientation for critical systems
Ada-Europe'11: Proceedings of the 16th Ada-Europe international conference on Reliable software technologies

DO-178C/ED-12C, six years in preparation, is expected to be published in 2011. This updated document will provide guidance for the development and verification of safety-related software for avionic systems. As this position paper will describe, DO-178C/...
Object-oriented software considerations in airborne systems and equipment certification
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

This is a practitioner's discussion of the production of software in airborne systems which operate in civil airspace and the changes impacting it with the introduction of DO-178C/ED-12C, the emerging standard for the development of safety-critical ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

SBQS '23: Proceedings of the XXII Brazilian Symposium on Software Quality

November 2023

391 pages

ISBN:9798400707865

DOI:10.1145/3629479

Editors:
Edna Dias Canedo
University of Brasília (CIC, UnB), Brazil
,
Daniel de Paula Porto
University of Brasília (CIC, UnB), Brazil
,
Fábio Lúcio Lopes Mendonça
University of Brasília (FT, UnB), Brazil
,
Rafael Timóteo de Sousa Júnior
University of Brasília (FT, UnB), Brazil
,
Monalessa Perini Barcellos
Federal University of Espírito Santo (UFES), Brazil
,
Ismayle Sousa Santos
Ceará State University (UECE), Brazil
,
Sheila Reinehr
Pontifical Catholic University of Rio de Janeiro (PUC-PR), Brazil
,
Sergio Soares
Federal University of Pernambuco (UFPE), Brazil
,
Uirá Kulesza
Federal University of Rio Grande do Norte (UFRN), Brazil
,
Érica Ferreira de Souza
Federal Technological University of Paraná (UTFPR), Brazil
,
Adriano Albuquerque
University of Fortaleza (UNIFOR), Brazil
,
Carla Bezerra
Federal University of Ceará (UFC), Brazil
,
Rodrigo Santos
Federal University of the State of Rio de Janeiro (UNIRIO), Brazil
,
Alessandro Garcia
Pontifical Catholic University of Rio de Janeiro (PUC-RJ), Brazil
,
Simone Dornelas Costa
Federal University of Espírito Santo (UFES), Brazil
,
Adolfo Gustavo Serra Seca Neto
Federal Technological University of Paraná (UTFPR), Brazil

Copyright © 2023 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 December 2023

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ð Brasil (CAPES)

Conference

SBQS '23

SBQS '23: XXII Brazilian Symposium on Software Quality

November 7 - 10, 2023

Bras\'{\i}lia, Brazil

Acceptance Rates

Overall Acceptance Rate 35 of 99 submissions, 35%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
12
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)1

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Marques JMachado E(2024)Um Mapeamento do MPS.Br para o Desenvolvimento de Dispositivos Médicos com Foco em Engenharia de RequisitosAnais do XXVII Congresso Ibero-Americano em Engenharia de Software (CIbSE 2024)10.5753/cibse.2024.28451(241-255)Online publication date: 6-May-2024
https://doi.org/10.5753/cibse.2024.28451

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

Media

Figures

Other

Tables

View Table of Contents