nach oben

Erschienen in:

2014 | OriginalPaper | Buchkapitel

6. Schedulability Analysis at Early Design Stages with MARTE

verfasst von : Chokri Mraidha, Sara Tucci-Piergiovanni, Sebastien Gerard

Erschienen in: Embedded Systems Development

Verlag: Springer New York

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

The construction of a design model is a critical phase in real-time systems (RTS) development as the choices made have a direct impact on timing aspects. In traditional model-based approaches, the design relies largely on the designer experience. Once the design model is constructed, a convenient schedulability test has to be found in order to ensure that the design allows the respect of the timing constraints. This late analysis does not guarantee the existence of a test for the given design and does not allow early detection of unfeasible designs. In order to overcome this problem, this chapter proposes the first UML/MARTE methodology for schedulability-aware real-time software design models construction.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification

Nächstes Kapitel Early Time-Budgeting for Component-Based Embedded Control Systems

Chen, R., Sgroi, M., Lavagno, L., Martin, G., Sangiovanni-Vincentelli, A., Rabaey, J.: Uml and platform-based design pp. 107–126 (2003)

Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with Uml, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2000)

Phan, T.H., Gerard, S., Terrier, F.: Languages for system specification. In: Real-time system modeling with ACCORD/UML methodology: illustration through an automotive case study, pp. 51–70. Kluwer Academic Publishers, Norwell, MA (2004) http://dl.acm.org/citation.cfm?id=1016425.1016431

Douglass, B.P.: Real Time UML: Advances in the UML for Real-Time Systems, 3rd edn. Addison Wesley Longman Publishing Co., Inc., Redwood City (2004)

Bartolini, C., Lipari, G., DiNatale, M.: From functional blocks to the synthesis of the architectural model in embedded real-time applications. In: Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium, RTAS ’05, pp. 458–467. IEEE Computer Society, Washington, DC, USA (2005). http://dx.doi.org/10.1109/RTAS.2005.24

Object Management Group: UML profile for modeling and analysis of real-time and embedded systems (MARTE), version 1.1, formal/2011-06-02 (June 2011). http://www.omg.org/spec/MARTE/1.1/

Object Management Group: UML profile for schedulability, performance, and time (spt), formal/2005-01-02 (2005). http://www.omg.org/spec/SPTP/

Bartolini, C., Bertolino, A., De Angelis, G., Lipari, G.: A uml profile and a methodology for real-time systems design. In: Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications, EUROMICRO ’06, pp. 108–117. IEEE Computer Society, Washington, DC, USA (2006). http://dx.doi.org/10.1109/EUROMICRO.2006.14

Palencia, J.C., González Harbour, M.: Schedulability analysis for tasks with static and dynamic offsets. In: Proceedings of the IEEE Real-Time Systems Symposium, RTSS ’98, pp. 26-. IEEE Computer Society, Washington, DC, USA (1998). http://dl.acm.org/citation.cfm?id=827270.829048

10.

Lehoczky, J.P., Sha, L., Ding, Y.: The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In: RTSS, pp. 166–171 (1989)

11.

Audsley, N.: Optimal Priority Assignment And Feasibility Of Static Priority Tasks With Arbitrary Start Times. Department of Computer Science, University of York, England, Tech. rep. (1991)

12.

Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Trans. Softw. Eng. 30(5), 295–310 (2004). http://dx.doi.org/10.1109/TSE.2004.9

13.

Jin, D., Levy, D.C.: An approach to schedulability analysis of uml-based real-time systems design. In: Proceedings of the 3rd international workshop on Software and performance, WOSP ’02, pp. 243–250. ACM, New York, NY, USA (2002). http://doi.acm.org/10.1145/584369.584409

14.

Saksena, M., Karvelas, P.: Designing for schedulability: integrating schedulability analysis with object-oriented design. In: Proceedings of the 12th Euromicro conference on Real-time systems, Euromicro-RTS’00, pp. 101–108. IEEE Computer Society, Washington, DC, USA (2000). http://dl.acm.org/citation.cfm?id=1947412.1947431

15.

Gu, Z., He, Z.: Real-time scheduling techniques for implementation synthesis from component-based software models. In: Proceedings of the 8th international conference on Component-Based Software Engineering, CBSE’05, pp. 235–250. Springer, Berlin (2005)

16.

Kenneth, J.: Schedulability analysis of embedded applications modelled using marte. Ph.D. thesis, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark (2009)

17.

Eclipse Foundation: Papyrus. http://www.eclipse.org/modeling/mdt/papyrus/

18.

Pasaje, J.L.M., et al.: UML-MAST. http://mast.unican.es/umlmast/

19.

Evidence: Home page. http://evidence.eu.com

20.

Interested, EU Project ICT-2007-3.3 B,: Project web page. http://www.interested-ip.eu/

21.

Edona, P.: Environnements de Développement Ouverts aux Normes de l’Automobile. http://www.edona.fr

Titel: Schedulability Analysis at Early Design Stages with MARTE
verfasst von: Chokri Mraidha
Sara Tucci-Piergiovanni
Sebastien Gerard
Verlag: Springer New York
Buch: Embedded Systems Development
Print ISBN: 978-1-4614-3878-6

Electronic ISBN: 978-1-4614-3879-3

Copyright-Jahr: 2014
DOI: https://doi.org/10.1007/978-1-4614-3879-3_6

Neuer Inhalt

Bildnachweise

VDI-Icon, Profil Icon, inhalt2, Springer Professional Modul/© Springer Fachmedien Wiesbaden GmbH, Nachhaltigkeitsaward Key Visual/© Cometis AG/Global ESG Monitor | Daniel Rupp | Generiert mit KI, Search Icon, Banner Hanser, Jonas Klose/© Pine Valley Capital GmbH, Carina Kießling von der Strategieberatung Roland Berger/© Monika Walther Fotografie | ATZ, Beijing Auto Show 2024: Deutsche Hersteller wollen angreifen./© EKH-Pictures / Generated with AI / Stock.adobe.com, Zeitschrift Wissensmanagement Cover, PatentFit-Logo/© Springer Fachmedien Wiesbaden GmbH, Zukunftswerkstatt Sales Excellence 2024/© AndreyPopov / Getty Images / iStock, 2023_Antrieb/© supervisuell, ATZ-Webinar: Prototypenfreie Entwicklung durch Offline- und Driver-in-the-Loop-HiL-Tests /© (c) VI-grade

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Neuer Inhalt

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.