Non-Functional Constraints Annotation to Real-Time Embedded System Design
Resumo
Development of Real-Time Embedded Systems (RTES) is currently a great challenge, as industry has to coherently model, develop and evaluate functional and non-functional requirements of these systems. Several approaches to RTES specification and design have been proposed in past years, but they most often fail to support early timing representation and, also, for advanced evaluation of timing constraints. Furthermore, not all of these approaches describe non-functional constraints in all viewpoints, models and refinements along the system design process. This research aims to identify and model real-time and embedded constraints in system design artifacts and, also, to refine and trace them along of architectural viewpoints. MARTE constraints have been consistently applied in design models and implemented at lower abstraction models. Here, timing constraints generation are performed from the graphical models to the final code models. Additionally, a case study in the automotive domain has been proposed in order to check the imposed timing constraints regarding specification of architectural models.
Referências
K. Pohl, H. Hnninger, R. Achatz, and M. Broy, Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology., 1st ed. Springer Publishing Company, Incorporated, 2016.
J. Schlatow and R. Ernst, “Response-Time Analysis for Task Chains in Communicating Threads,” 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 1–10, 2016.
F. G. C. Ribeiro, C. E. Pereira, A. Rettberg, and M. S. Soares, “An Analysis of the Value Specification Language Applied to the Requirements Engineering Process of Cyber-Physical Systems.” IFAC-PapersOnLine, vol. 49, no. 30, pp. 42 – 47, 2016, 4th {IFAC} Symposium on Telematics Applications {TA}.
S. Perathoner, “Modular Performance Analysis of Embedded Real-Time Systems: Improving Modeling Scope and Accuracy.” PhD Thesis, Federal Institute of Technology, Zurich, Swiss, 2011.
F. G. C. Ribeiro, A. Rettberg, C. E. Pereira, S. C. Botelho, and M. S. Soares, “Guidelines for Using MARTE Profile Packages Considering Concerns of Real-Time Embedded Systems,” in 50th Hawaii Interna- tional Conference on System Sciences (HICSS), 2017, pp. 917–922.
U. Eliasson, R. Heldal, P. Pelliccione, and J. Lantz, “Architecting in the automotive domain: Descriptive vs prescriptive architecture,” in 12th Working IEEE/IFIP Conference on Software Architecture, WICSA 2015, Montreal, QC, Canada, May 4-8, 2015, 2015, pp. 115–118.
A. Haghighatkhah, A. Banijamali, O. Pakanen, M. Oivo, and P. Kuvaja, “Automotive Software Engineering: A Systematic Mapping Study,” Journal of Systems and Software, vol. 128, pp. 25 – 55, 2017.
J. Peters, R. Wille, N. Przigoda, U. Kuhne, and R. Drechsler, “A Generic Representation of CCSL Time Constraints for UML/MARTE Models,” in 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 2015, pp. 1–6.
F. Noyrit, S. Gerard, F. Terrier, and B. Selic,“Consistent Modeling Using Multiple UML Profiles.” in Model Driven Engineering Languages and Systems, ser. Lecture Notes in Computer Science, D. Petriu, N. Rouquette, and y. Haugen, Eds., vol. 6394. Oslo, Norway: Springer Berlin Heidelberg, 2010, pp. 392 – 406.
M. R. S. Marques, E. Siegert, and L. Brisolara, “Integrating UML, MARTE and SysML to Improve Requirements Specification and Trace- ability in the Embedded Domain.” in 12th IEEE International Conference on Industrial Informatics (INDIN). Porto Alegre, RS, Brazil: IEEE, July 2014, pp. 176 – 181.
B. Wan, H. Luo, K. Zhou, X. Li, C. Wang, X. Chen, and X. Zhou, “A Time-Aware Programming Framework for Constructing Predictable Real-Time Systems,” in 19th International Conference on High Performance Computing and Communications, 2017, pp. 578–585.
A. Baouya, D. Bennouar, O. A. Mohamed, and S. Ouchani, “A Quantitative Verification Framework of SysML Activity Diagrams under Time Constraints,” Expert Systems with Applications, vol. 42, no. 21, pp. 7493 – 7510, 2015.
G. Brau, J. Hugues, and N. Navet, “Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems,” Science of Computer Programming, vol. 156, pp. 1 – 20, 2018.
F.G.C. Ribeiro, C.E. Pereira, A. Rettberg, and M.S. Soares,“Applying MARTE Profile for Optimal Automotive System Specifications and Design.” in 50th Hawaii International Conference on System Sciences (HICSS), Waikiloa Village, Hawaii, January 2017.
F. G. C. Ribeiro, C. E. Pereira, A. Rettberg, C. Steinmetz, and M. S. I. p. Soares, “An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain.” in 21th IEEE Computer Society Symposium on Object/Service-Oriented RealTime Distributed Computing (ISORC), 2018.
SysML, OMG, OMG - OMG Systems Modeling Language - version1.4., 2015, technical Report Formal/2015.06.03.
MARTE, Modeling and Analysis of Real-Time and Embedded Systems (MARTE)- version 1.1., OMG, 2011, technical Report For- mal/2011.06.02.
F. G. C. Ribeiro, “Multi-Formalism in Different Levels of Abstraction for Requirements Engineering and Design of Real-Time Systems.” in PhD Forum at Design, Automation and Test in Europe (DATE), 2018.
N. Navet and F. Simonot-Lion, Automotive Embedded Systems Hand- book., 1st ed. Boca Raton, FL, USA: CRC Press, Inc., 2008.
P. Tool, “https://www.eclipse.org/papyrus/,” acess em 27.03.2018.
ARDUINO, “Platform arduino, https://www.arduino.cc/,” acess em 27.03.2018.
FreeRTOS, “https://www.freertos.org/,” acess em 27.03.2018.
J. Schlatow and R. Ernst, “Response-Time Analysis for Task Chains in Communicating Threads,” 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 1–10, 2016.
F. G. C. Ribeiro, C. E. Pereira, A. Rettberg, and M. S. Soares, “An Analysis of the Value Specification Language Applied to the Requirements Engineering Process of Cyber-Physical Systems.” IFAC-PapersOnLine, vol. 49, no. 30, pp. 42 – 47, 2016, 4th {IFAC} Symposium on Telematics Applications {TA}.
S. Perathoner, “Modular Performance Analysis of Embedded Real-Time Systems: Improving Modeling Scope and Accuracy.” PhD Thesis, Federal Institute of Technology, Zurich, Swiss, 2011.
F. G. C. Ribeiro, A. Rettberg, C. E. Pereira, S. C. Botelho, and M. S. Soares, “Guidelines for Using MARTE Profile Packages Considering Concerns of Real-Time Embedded Systems,” in 50th Hawaii Interna- tional Conference on System Sciences (HICSS), 2017, pp. 917–922.
U. Eliasson, R. Heldal, P. Pelliccione, and J. Lantz, “Architecting in the automotive domain: Descriptive vs prescriptive architecture,” in 12th Working IEEE/IFIP Conference on Software Architecture, WICSA 2015, Montreal, QC, Canada, May 4-8, 2015, 2015, pp. 115–118.
A. Haghighatkhah, A. Banijamali, O. Pakanen, M. Oivo, and P. Kuvaja, “Automotive Software Engineering: A Systematic Mapping Study,” Journal of Systems and Software, vol. 128, pp. 25 – 55, 2017.
J. Peters, R. Wille, N. Przigoda, U. Kuhne, and R. Drechsler, “A Generic Representation of CCSL Time Constraints for UML/MARTE Models,” in 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 2015, pp. 1–6.
F. Noyrit, S. Gerard, F. Terrier, and B. Selic,“Consistent Modeling Using Multiple UML Profiles.” in Model Driven Engineering Languages and Systems, ser. Lecture Notes in Computer Science, D. Petriu, N. Rouquette, and y. Haugen, Eds., vol. 6394. Oslo, Norway: Springer Berlin Heidelberg, 2010, pp. 392 – 406.
M. R. S. Marques, E. Siegert, and L. Brisolara, “Integrating UML, MARTE and SysML to Improve Requirements Specification and Trace- ability in the Embedded Domain.” in 12th IEEE International Conference on Industrial Informatics (INDIN). Porto Alegre, RS, Brazil: IEEE, July 2014, pp. 176 – 181.
B. Wan, H. Luo, K. Zhou, X. Li, C. Wang, X. Chen, and X. Zhou, “A Time-Aware Programming Framework for Constructing Predictable Real-Time Systems,” in 19th International Conference on High Performance Computing and Communications, 2017, pp. 578–585.
A. Baouya, D. Bennouar, O. A. Mohamed, and S. Ouchani, “A Quantitative Verification Framework of SysML Activity Diagrams under Time Constraints,” Expert Systems with Applications, vol. 42, no. 21, pp. 7493 – 7510, 2015.
G. Brau, J. Hugues, and N. Navet, “Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems,” Science of Computer Programming, vol. 156, pp. 1 – 20, 2018.
F.G.C. Ribeiro, C.E. Pereira, A. Rettberg, and M.S. Soares,“Applying MARTE Profile for Optimal Automotive System Specifications and Design.” in 50th Hawaii International Conference on System Sciences (HICSS), Waikiloa Village, Hawaii, January 2017.
F. G. C. Ribeiro, C. E. Pereira, A. Rettberg, C. Steinmetz, and M. S. I. p. Soares, “An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain.” in 21th IEEE Computer Society Symposium on Object/Service-Oriented RealTime Distributed Computing (ISORC), 2018.
SysML, OMG, OMG - OMG Systems Modeling Language - version1.4., 2015, technical Report Formal/2015.06.03.
MARTE, Modeling and Analysis of Real-Time and Embedded Systems (MARTE)- version 1.1., OMG, 2011, technical Report For- mal/2011.06.02.
F. G. C. Ribeiro, “Multi-Formalism in Different Levels of Abstraction for Requirements Engineering and Design of Real-Time Systems.” in PhD Forum at Design, Automation and Test in Europe (DATE), 2018.
N. Navet and F. Simonot-Lion, Automotive Embedded Systems Hand- book., 1st ed. Boca Raton, FL, USA: CRC Press, Inc., 2008.
P. Tool, “https://www.eclipse.org/papyrus/,” acess em 27.03.2018.
ARDUINO, “Platform arduino, https://www.arduino.cc/,” acess em 27.03.2018.
FreeRTOS, “https://www.freertos.org/,” acess em 27.03.2018.
Publicado
06/11/2018
Como Citar
RIBEIRO, Fabíola Coelho; RETTBERG, Achim; PEREIRA, Carlos Eduardo; STEINMETZ, Charles; SOARES, Michel.
Non-Functional Constraints Annotation to Real-Time Embedded System Design. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SISTEMAS COMPUTACIONAIS (SBESC), 8. , 2018, Salvador.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2018
.
p. 175-180.
ISSN 2237-5430.
