research-article

Incorporating certification in feature modelling of an unmanned aerial vehicle product line

Authors:

Rosana T. V. Braga,

Onofre Trindade, Jr.,

Kalinka R. L. J. Castelo Branco,

Jaejoon LeeAuthors Info & Claims

SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 1

Pages 249 - 258

https://doi.org/10.1145/2362536.2362570

Published: 02 September 2012 Publication History

Abstract

Safety critical systems (e.g., an avionics control system for safe flight) are often required to achieve certification under pre-established standards (e.g., DO-178B for software considerations in airborne systems and equipment certification). We have been working with our industrial partner for the last three years to develop product line assets for their avionics software product line (SPL) and, recently, we encountered two major challenges regarding certification. Firstly, an individual product must be certified, but each may require a different certification level: there might be variations in the certification requirements according to specific system usage contexts. Secondly, certification involves not only product but also process, as standards such as DO-178B also assess the quality of the development process. In this paper, we propose to include a certification view during feature modelling to provide a better understanding of the relationships between features and a certification level required for each product. The experience of introducing certification into the design model of an Unmanned Aerial Vehicle (UAV) SPL is presented to illustrate some key ideas. We also describe the lessons we have learned from this experience.

References

[1]

B. Abdul-Baki, J. Baldwin, and M.-P. Rudel. Independent validation and verification of the TCAS II collision avoidance subsystem. IEEE Aerosp. Electronic Systems Magazine, 15(8): 3--9, 2000.

[2]

B. S. Andersen and G. Romanski. Verification of safety-critical software. ACM Queue, 9(8): 50, 2011.

Digital Library

[3]

R. Braga, K. R. L. J. C. Branco, O. J. Trindade, and I. Gimenes. Evolving tiriba design towards a product line of small electric-powered uavs. In Proceedings of CBSEC - I Brazilian Conference on Critical Embedded Systems, pages 67--72, 2011.

[4]

R. Braga, K. R. L. J. C. Branco, O. J. Trindade, P. C. Masiero, L. O. Neris, and M. Becker. ProLiCES: An approach to develop Product Lines for Safety-Critical Embedded Systems. In Proceedings of CLEI - XXXVII Latin-American Informatics Conference, pages 991--1006, 2011.

[5]

R. T. V. Braga, O. T. Junior, K. K. R. L. C. C. Branco, L. O. Neris, and J. Lee. Adapting a software product line engineering process for certifying safety critical embedded systems. In 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP), pages 1--12 (to appear), Magdeburg, Germany, 2012.

Digital Library

[6]

F. CARVALHO, S. R. L. MEIRA, B. FREITAS, and J. EULINO. Embedded software component quality and certification. In Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA '09), pages 420--427. IEEE Computer Society, 2009.

Digital Library

[7]

P. A. da Mota Silveira Neto, P. Runeson, I. do Carmo Machado, E. S. de Almeida, S. R. de Lemos Meira, and E. Engström. Testing software product lines. IEEE Software, 28(5): 16--20, 2011.

Digital Library

[8]

F. Dordowsky, R. Bridges, and H. Tschope. Implementing a software product line for a complex avionics system. In Software Product Line Conference (SPLC), 2011 15th International, pages 241--250, aug. 2011.

Digital Library

[9]

F. Dordowsky and W. Hipp. Adopting software product line principles to manage software variants in a complex avionics system. In Proceedings of the 13th International Software Product Line Conference, SPLC '09, pages 265--274, Pittsburgh, PA, USA, 2009. Carnegie Mellon University.

Digital Library

[10]

EASA. E.T01001 - Policy Statement Airworthiness Certification of Unmanned Aircraft Systems (UAS). European Aviation Safety Agency, 2009.

[11]

E. Engström and P. Runeson. Software product line testing - a systematic mapping study. Information & Software Technology, 53(1): 2--13, 2011.

Digital Library

[12]

GAO. Unmanned aircraft systems - federal actions needed to ensure safety and expand their potential uses within the national airspace system, GAO-08-511. Technical report, GAO, 2008, 2008.

[13]

S. Hutchesson and J. McDermid. Development of high-integrity software product lines using model transformation. In Proceedings of the 29th international conference on Computer safety, reliability, and security, SAFECOMP'10, pages 389--401, Berlin, Heidelberg, 2010. Springer-Verlag.

Digital Library

[14]

S. Hutchesson and J. A. McDermid. Towards cost-effective high-assurance software product lines: The need for property-preserving transformations. In Software Product Line Conference (SPLC), pages 55--64, 2011.

Digital Library

[15]

K. C. Kang, S. Kim, J. Lee, K. Kim, G. J. Kim, and E. Shin. Form: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering, 5: 143--168, 1998.

Digital Library

[16]

A. Kornecki and J. Zalewski. Certification of software for real-time safety-critical systems: state of the art. Innovations in Systems and Software Engineering, 5(2): 149--161, 2009.

[17]

B. P. Lamancha, M. P. Usaola, and M. P. Velthius. Software product line testing - a systematic review. In 4th International Conference on Software and Data Technologies (ICSOFT), pages 23--30, 2009.

[18]

K. Lee and K. C. Kang. Usage context as key driver for feature selection. In Proceedings of the 14th international conference on Software product lines: going beyond, SPLC'10, pages 32--46, Berlin, Heidelberg, 2010. Springer-Verlag.

Digital Library

[19]

K. Lee, K. C. Kang, and J. Lee. Concepts and guidelines of feature modeling for product line software engineering. In Software Reuse: Methods, Techniques, and Tools: Proceedings of the Seventh Reuse Conference (ICSR7), pages 62--77. Springer-Verlag, 2002.

Digital Library

[20]

RTCA. DO-178B -- software considerations in airborne systems and equipment certification. Radio Technical Commission for Aeronautics/EUROCAE Std ed-12B/DO178B, dec 1992.

[21]

E. Schoitsch, E. Althammer, H. Eriksson, J. Vinter, L. Gönczy, A. Pataricza, and G. Csertan. Validation and certification of safety-critical embedded systems: the DECOS test bench. In Proceedings of the 25th international conference on Computer Safety, Reliability, and Security, SAFECOMP'06, pages 372--385, Berlin, Heidelberg, 2006. Springer-Verlag.

Digital Library

[22]

J. Souyris, V. Wiels, D. Delmas, and H. Delseny. Formal verification of avionics software products. In Proceedings of the 2nd World Congress on Formal Methods, pages 532--546, Berlin, Heidelberg, 2009. Springer-Verlag.

Digital Library

Cited By

Gannous A(2023)Interstices in the Certification of Safety Critical Avionics Software: Boeing 737-MAX MCAS Case Study2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)10.1109/CSCE60160.2023.00425(2664-2667)Online publication date: 24-Jul-2023
https://doi.org/10.1109/CSCE60160.2023.00425
García SStrüber DBrugali DDi Fava APelliccione PBerger T(2022)Software variability in service roboticsEmpirical Software Engineering10.1007/s10664-022-10231-528:2Online publication date: 24-Dec-2022
https://dl.acm.org/doi/10.1007/s10664-022-10231-5
Kenner AMay RKrüger JSaake GLeich TMousavi MSchobbens P(2021)Safety, security, and configurable software systemsProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A10.1145/3461001.3471147(148-159)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461001.3471147
Show More Cited By

Index Terms

Incorporating certification in feature modelling of an unmanned aerial vehicle product line
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Domain specific languages

Recommendations

An Aspect-Oriented Feature Modelling Framework for Software Product Line Engineering
ASWEC ' 15 Vol. II: Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference

Software Product Line Engineering (SPLE) is a software development paradigm that focusing on systematic software assets reuse. SPLE treats software products in the same application domains as a product family and developing various of assets could be ...
CCNP BCMSN Exam Certification Guide (3rd Edition) (Exam Certification Guide)
Integral Backstepping Control of an Unconventional Dual-Fan Unmanned Aerial Vehicle

In this paper, a dynamic model of vertical take-off and landing (VTOL) aerial vehicles, having lateral and longitudinal rotor tilting mechanism, is first developed using a Newton---Euler formulation. Then an integral backstepping (IB) control technique ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 1

September 2012

310 pages

ISBN:9781450310949

DOI:10.1145/2362536

General Chair:
Eduardo Santana de Almeida
Federal University of Bahia, Brazil
,
Program Chairs:
Christa Schwanninger
Siemens, Germany
,
David Benavides
University of Seville, Spain

Copyright © 2012 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 ACM 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]

Sponsors

Pure-Systems: Pure-Systems GmbH
Petrobras: Petróleo Brasileiro S/A
SEBRAE: Serviço Brasileiro de Apoio às Micro E Pequenas Empresas
FAPESB: Fundação de Amparo à Pesquisa do Estado da Bahia
Hitachi
INES: National Institute of Science and Technology for Software Engineering
IEEE: Institute of Electrical and Electronics Engineers
Software Eng Inst: Software Engineering Institute
Biglever: BigLever Software, Inc.
CAPES: Brazilian Higher Education Funding Council

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 September 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLC '12

Sponsor:

Pure-Systems
Petrobras
SEBRAE
FAPESB
INES
IEEE
Software Eng Inst
Biglever
CAPES

SPLC '12: 16th International Software Product Line Conference

September 2 - 7, 2012

Salvador, Brazil

Acceptance Rates

SPLC '12 Paper Acceptance Rate 22 of 66 submissions, 33%;

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
267
Total Downloads

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

Reflects downloads up to 14 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Gannous A(2023)Interstices in the Certification of Safety Critical Avionics Software: Boeing 737-MAX MCAS Case Study2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)10.1109/CSCE60160.2023.00425(2664-2667)Online publication date: 24-Jul-2023
https://doi.org/10.1109/CSCE60160.2023.00425
García SStrüber DBrugali DDi Fava APelliccione PBerger T(2022)Software variability in service roboticsEmpirical Software Engineering10.1007/s10664-022-10231-528:2Online publication date: 24-Dec-2022
https://dl.acm.org/doi/10.1007/s10664-022-10231-5
Kenner AMay RKrüger JSaake GLeich TMousavi MSchobbens P(2021)Safety, security, and configurable software systemsProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A10.1145/3461001.3471147(148-159)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461001.3471147
Gannous AAndrews AAcha R(2021)Robustness Testing of a semi-autonomous mobile landing platform for Vertical take-off and landing UAVs2021 IEEE Aerospace Conference (50100)10.1109/AERO50100.2021.9438203(1-20)Online publication date: 6-Mar-2021
https://doi.org/10.1109/AERO50100.2021.9438203
de Oliveira ABraga RMasiero PParker DPapadopoulos YHabli IKelly T(2019)Variability management in safety‐critical systems design and dependability analysisJournal of Software: Evolution and Process10.1002/smr.220231:8Online publication date: 20-Aug-2019
https://dl.acm.org/doi/10.1002/smr.2202
de Oliveira ABraga RMasiero PPapadopoulos YHabli IKelly T(2018)Variability Management in Safety-Critical Software Product Line EngineeringNew Opportunities for Software Reuse10.1007/978-3-319-90421-4_1(3-22)Online publication date: 17-Apr-2018
https://doi.org/10.1007/978-3-319-90421-4_1
Jafer SDurak UAydemir HRuff RPawletta T(2018)Advances in Software Engineering and AeronauticsAdvances in Aeronautical Informatics10.1007/978-3-319-75058-3_7(87-102)Online publication date: 11-May-2018
https://doi.org/10.1007/978-3-319-75058-3_7
Torens CAdolf FPatil GVernekar G(2016)Towards Generic Requirements and Models for Automated Mission Tasks with RPASAIAA Infotech @ Aerospace10.2514/6.2016-0484Online publication date: Jan-2016
https://doi.org/10.2514/6.2016-0484
Baumgart SFroberg J(2016)Functional Safety in Product Lines -- A Systematic Mapping Study2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)10.1109/SEAA.2016.58(313-322)Online publication date: Aug-2016
https://doi.org/10.1109/SEAA.2016.58
Degueule TFilho JBarais OAcher MLe Noir JMadelénat SGailliard GBurlot GConstant OSchmidt D(2015)Tooling support for variability and architectural patterns in systems engineeringProceedings of the 19th International Conference on Software Product Line10.1145/2791060.2791097(361-364)Online publication date: 20-Jul-2015
https://dl.acm.org/doi/10.1145/2791060.2791097
Show More Cited By

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.

Figures

Tables

Media

View Table of Conten