Abstract
The development of real-time embedded systems is usually preceded by an important design phase to ensure that functional and behavioural constraints are met. However, the modification of some systems, especially Unmanned Air Vehicles that need to be frequently customised, is typically done in an ad-hoc way. Indeed, the design information may not be available, which may affect the proper functioning of the system. This paper aims to propose a framework helping reverse-engineering a Modifiable Off-The-Shelf (MOTS) embedded system in order to be able to ease its modification. In other words, our objective is to point out where modifications have to happen, and allow smooth use of third-party analysis and/or architecture exploration tools to re-analyse non-functional properties (safety, performances, etc.) regarding the customisation. This framework extracts functional-chains from the source code and represents them visually as a model-based design by using model-driven engineering settings.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bin, H., Justice, A.: The design of an unmanned aerial vehicle based on the ardupilot. Indian J. Sci. Technol. 2(4), 12–15 (2009)
Meier, L., Honegger, D., Pollefeys, M.: PX4: a node-based multithreaded open source robotics framework for deeply embedded platforms. In: 2015 IEEE International Conference on Robotics and Automation (ICRA), pp. 6235–6240. IEEE (2015)
Brisset, P., Drouin, A., Gorraz, M., Huard, P.-S., Tyler, J.: The paparazzi solution. In: MAV 2006, 2nd US-European Competition and Workshop on Micro Air Vehicles. Citeseer (2006)
Nouacer, R., Hussein, M., Espinoza, H., Ouhammou, Y., Ladeira, M., Castiñeira, R.: Towards a framework of key technologies for drones. Microprocess. Microsyst. 77, 103142 (2020)
Butenhof, D.R.: Programming with POSIX Threads. Addison-Wesley Professional, Boston (1997)
Nutt, G.: Nuttx operating system user’s manual (2014)
Capella: open source solution for model-based systems engineering. https://www.polarsys.org/capella/. Accessed 01 Aug 2022
Feng, Q., Mookerjee, V.S., Sethi, S.P.: Application development using modifiable off-the-shelf software: a model and extensions (2005)
Mousavidin, E., Silva, L.: Theorizing the configuration of modifiable off-the-shelf software. Inf. Technol. People (2017)
Ross, D.T.: Structured analysis (SA): a language for communicating ideas. IEEE Trans. Softw. Eng. SE-3(1), 16–34 (1977)
Brown, A.W.: Model driven architecture: principles and practice. Softw. Syst. Model. 3(4), 314–327 (2004)
ARCADIA: a model-based engineering method. https://www.eclipse.org/capella/arcadia.html. Accessed 01 Aug 2022
AUTOSAR. The standardized software framework for intelligent mobility
Brosgol, B.: DO-178C: the next avionics safety standard. ACM SIGAda Ada Lett. 31(3), 5–6 (2011)
Chikofsky, E.J., Cross, J.H.: Reverse engineering and design recovery: a taxonomy. IEEE Softw. 7(1), 13–17 (1990)
Booch, G., Rumbaugh, J., Jackobson, I.: UML: unified modeling language. Versão (1997)
Wood, J., Silver, D.: Joint Application Development. Wiley, Hoboken (1995)
Ferenc, R., Sim, S.E., Holt, R.C., Koschke, R., Gyimóthy, T.: Towards a standard schema for C/C++. In: Proceedings Eighth Working Conference on Reverse Engineering, pp. 49–58. IEEE (2001)
Gimple (GNU compiler collection (GCC) internals). Accessed 01 Aug 2022
SAE. SAE. Architecture analysis and design language V2.0 (AS5506), September 2008. https://www.sei.cmu.edu/our-work/projects/display.cfm?customel_datapageid_4050=191439www.aadl.info
ANTLR (another tool for language recognition). https://www.antlr.org/. Accessed 01 Aug 2022
Acknowledgement
This work has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement N. 826610.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Kamni, S., Ouhammou, Y., Grolleau, E., Bertout, A., Hattenberger, G. (2023). A Reverse Design Framework for Modifiable-off-the-Shelf Embedded Systems: Application to Open-Source Autopilots. In: Fournier-Viger, P., Hassan, A., Bellatreche, L. (eds) Model and Data Engineering. MEDI 2022. Lecture Notes in Computer Science, vol 13761. Springer, Cham. https://doi.org/10.1007/978-3-031-21595-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-031-21595-7_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-21594-0
Online ISBN: 978-3-031-21595-7
eBook Packages: Computer ScienceComputer Science (R0)