An Empirical Study of SysML in the Modeling of Embedded Systems

Abstract

The complexity increase and variety of equipments controlled by embedded computers generate the need of a multidisciplinary approach for the process of development of those equipments, involving the areas of software, mechanics, electric and electronic engineering. System engineering uses different techniques to concurrently integrate these different views. In this sense, it is being specified by OMG a modeling language, denominated SysML (System Modeling Language). It intends to include in a single specification an integrated view of the system, one that includes hardware, software and electro-mechanics parts. The objective of this paper is to do an empirical evaluation of the modeling language SysML, in the sense of identifying its capacities and its limitations for the modeling of embedded systems. For that purpose, an electronic fuel injection system developed by Department of Automation and Systems at our university will be used.

Μοντελοποίηση Και Επαλήθευση Προδιαγραφών Ενσωματωμένων Συστημάτων

“…Είναι σα να έχει χωριστεί η σχεδίαση του συστήματος σε επίπεδα και κάποια διαγράμματα απεικονίζουν το σύστημα στη γενική του μορφή και άλλα προσφέρουν μια πιο τεχνική περιγραφή του συστήματος ή κάποιου χαρακτηριστικού του. Ωστόσο, η SysML, δεν εμποδίζει τη συνδυαστική χρήση των διαγραμμάτων (composite diagram) και στο σχεδιασμό των περισσότερων συστημάτων γίνεται εκμετάλλευση αυτής της δυνατότητας ώστε να αποτυπώνεται πληρέστερα η περιγραφή και η λειτουργία του συστήματος[Silva et al, 2006].πληροφορίες. Κάθε οντότητα με τη σειρά της, δύναται να περικλείει άλλες οντότητες δομικών στοιχείων που επικοινωνούν μεταξύ τους με συγκεκριμένη σειρά (internal component ή internal block).…”