Skip to main content
SpringerLink
Log in

A Proposal to Trace and Maintain Requirements Constraints of Real-time Embedded Systems

  • Conference paper
  • First Online:
Analysis, Estimations, and Applications of Embedded Systems (IESS 2019)

Part of the book series: IFIP Advances in Information and Communication Technology ((IFIPAICT,volume 576))

Included in the following conference series:

  • 133 Accesses

Abstract

The development of Real-Time Embedded Systems (RTES) considering critical and volatile system and software requirements is a difficult and error-prone activity. The capability to describe system components while highlighting and maintaining their correlations at different abstraction levels and refinements has a significant impact on RTES development. Most techniques for designing RTES present many problems and limitations regarding tracing RTES constraints along of architectural design. Moreover, there is a gap in integrated strategies to evaluate the correctness of these constraints from model specification to the system models realization. This article aims to perform a study on Model-Driven Systems Engineering approaches applied in the design and traceability of specific RTES constraints. The main objective of this study is to automatically perform an evaluation of traced non-functional concerns and provide feedback to the developers regarding the validity of the simulated constraints. In order to achieve this objective, this study, initially, develops a formalized manner to specify RTES constraints in architectural viewpoints and a tool to evaluate the real simulated values of these specifications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 99.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. CAPELLA: https://polarsys.org/capella/ (2018). Accessed 15 May 2019

  2. David, P., Idasiak, V., Kratz, F.: Reliability study of complex physical systems using SysML. Reliab. Eng. Syst. Saf. 95, 431–450 (2010). 2011.5979460

    Google Scholar 

  3. Gervasi, V., Nuseibeh, B.: Lightweight validation of natural language requirements. Softw. Pract. Exper. 32, 113–133 (2002)

    Article  MATH  Google Scholar 

  4. de Jesus, T.O., Soares, M.S.: An event-based technique to trace requirements modeled with SysML. In: Gervasi, O., et al. (eds.) ICCSA 2017. LNCS, vol. 10409, pp. 145–159. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-62407-5_10

    Chapter  Google Scholar 

  5. Kaiya, H., et al.: Preliminary systematic literature review of software and systems traceability. In: KES, Procedia Computer Science, vol. 112, pp. 1141–1150. Elsevier (2017)

    Google Scholar 

  6. Li, L., Ma, L., Wang, N., Yang, Q.: Modeling method of military aircraft support process based SysML. In: International Conference in Reliability, Maintainability and Safety (ICRMS), pp. 1247–1251. IEEE (2011). 2011.5979460

    Google Scholar 

  7. Lime, D., Roux, O.H., Seidner, C., Traonouez, L.-M.: Romeo: a parametric model-checker for petri nets with stopwatches. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 54–57. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-00768-2_6

    Chapter  Google Scholar 

  8. Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973). https://doi.org/10.1145/321738.321743

    Article  MathSciNet  MATH  Google Scholar 

  9. Papyrus, T.: Papyrus: www.eclipse.org/papyrus/ (2018). Accessed 03 April 2019

  10. Pohl, K., Hnninger, H., Achatz, R., Broy, M.: Model-based Engineering of Embedded Systems: The SPES 2020 Methodology, 1st (edn). Springer Publishing Company, Heidelberg (2016)

    Book  Google Scholar 

  11. Ribeiro, F.G.C., Pereira, C.E., Rettberg, A., Soares, M.S.I.P.: An approach for architectural design of automotive systems using MARTE and SysML. In: CASE, pp. 1574–1580. IEEE (2018)

    Google Scholar 

  12. Ribeiro, F.G.C., Rettberg, A., Pereira, C.E., Botelho, S.C., Soares, M.S.: Guidelines for using MARTE profile packages considering concerns of real-time embedded systems. In: 15th IEEE International Conference on Industrial Informatics, INDIN, pp. 917–922 (2017). 2017.8104894

    Google Scholar 

  13. Ribeiro, F.G.C., Rettberg, A., Pereira, C.E., Steinmetz, C., Soares, M.S.: SPES methodology and MARTE constraints in architectural design. In: ISCC, pp. 377–383. IEEE (2018)

    Google Scholar 

  14. Rioux, L., Henia, H., Sordon, N.: Using model-checking for timing verification in industrial system design. In: ICST Workshops, pp. 377–378. IEEE Computer Society (2017)

    Google Scholar 

  15. Santana, E.F.Z., Chaves, A.P., Gerosa, M.A., Kon, F., Milojicic, D.S.: Software platforms for smart cities: concepts, requirements, challenges, and a unified reference architecture. ACM Comput. Surv. 50(6), 1–37 (2017)

    Article  Google Scholar 

  16. Silva, B.N., Khan, M., Han, K.: Towards sustainable smart cities: a review of trends, architectures, components, and open challenges in smart cities. Sustain. Urban Areas 38, 697–713 (2018)

    Google Scholar 

  17. Soares, M.S.: Architecture-driven integration of modeling languages for the design of software-intensive systems. Ph.D. thesis, Deltf University of Technology, Delft, Holanda (2010)

    Google Scholar 

  18. Soares, M.S., Vrancken, J., Verbraeck, A.: User requirements modeling and analysis of software-intensive systems. J. Syst. Softw. 84(2), 328–339 (2011). https://doi.org/10.1016/j.jss.2010.10.020

    Article  Google Scholar 

  19. Torkar, R., Gorschek, T., Feldt, R., Svahnberg, M., Akbar, R.U., Kamran, K.: Requirements traceability: a systematic review and industry case study. Int. J. Softw. Eng. Knowl. Eng. 22, 385–433 (2012). https://doi.org/10.1142/S021819401250009X

    Article  Google Scholar 

  20. Umber, A., Bajwa, I.S.: Minimizing ambiguity in natural language software requirements specification. In: 2011 6th International Conference on Digital Information Management, pp. 102–107 (2011). https://doi.org/10.1109/ICDIM.2011.6093363

  21. Uppaal, T.: http://www.uppaal.org/ (2018). Accessed 11 Jan 2019

  22. Valles, B.F.: A formal model for the requirements diagrams of SysML. Lat. Am. Trans. IEEE 8, 259–268 (2010). https://doi.org/10.1109/TLA.2010.5538400

    Article  Google Scholar 

  23. Winkler, S., Pilgrim, J.: A survey of traceability in requirements engineering and model-driven development. Softw. Syst. Model. 9(4), 529–565 (2010). https://doi.org/10.1007/s10270-009-0145-0

    Article  Google Scholar 

  24. Yan, X., Li, Y., Li, X.: Real-time simulation of automotive systems based on UPPAAL. In: 8th IEEE International Conference on Software Engineering and Service Science (ICSESS), pp. 173–176 (2017). 2017.8342890

    Google Scholar 

  25. Yang, C.H., Vyatkin, V., Pang, C.: Model-driven development of control software for distributed automation: a survey and an approach. IEEE Trans. Syst. Man Cybern. Syst. 44(3), 292–305 (2014)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Federal Institute Goiano, Goiânia, Brazil

    Fabíola Gonçalves C. Ribeiro

  2. University of Applied Science Hamm/Lippstadt and CvO University Oldenburg, Hamm, Germany

    Achim Rettberg

  3. Federal University of Rio Grande do Sul, Porto Alegre, Brazil

    Carlos E. Pereira

  4. University of Applied Science Hamm/Lippstadt, Hamm, Germany

    Charles Steinmetz

  5. Federal University of Sergipe, São Cristóvão, Brazil

    Michel S. Soares

Authors
  1. Fabíola Gonçalves C. Ribeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Achim Rettberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carlos E. Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Charles Steinmetz
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Michel S. Soares
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fabíola Gonçalves C. Ribeiro .

Editor information

Editors and Affiliations

  1. Federal University of Technology – Parana – UTFPR, Curitiba, Brazil

    Marco A. Wehrmeister

  2. Federal University of Rio Grande do Norte – UFRN, Natal, Brazil

    Márcio Kreutz

  3. Federal University of Rio Grande do Sul – UFRGS, Porto Alegre, Brazil

    Marcelo Götz

  4. University of Applied Sciences Hamm-Lippstadt, Hamm, Germany

    Stefan Henkler

  5. University of Amsterdam, Amsterdam, The Netherlands

    Andy D. Pimentel

  6. University of Applied Sciences Hamm-Lippstadt, Hamm, Germany

    Achim Rettberg

Rights and permissions

Reprints and permissions

Copyright information

© 2023 IFIP International Federation for Information Processing

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ribeiro, F.G.C., Rettberg, A., Pereira, C.E., Steinmetz, C., Soares, M.S. (2023). A Proposal to Trace and Maintain Requirements Constraints of Real-time Embedded Systems. In: Wehrmeister, M.A., Kreutz, M., Götz, M., Henkler, S., Pimentel, A.D., Rettberg, A. (eds) Analysis, Estimations, and Applications of Embedded Systems. IESS 2019. IFIP Advances in Information and Communication Technology, vol 576. Springer, Cham. https://doi.org/10.1007/978-3-031-26500-6_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-26500-6_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-26499-3

  • Online ISBN: 978-3-031-26500-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation