Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Software and Systems Modeling
Erschienen in: Software and Systems Modeling 4/2020

22.01.2020 | Regular Paper

A model-based architecture for interactive run-time monitoring

verfasst von: Nicolas Hili, Mojtaba Bagherzadeh, Karim Jahed, Juergen Dingel

Erschienen in: Software and Systems Modeling | Ausgabe 4/2020

Einloggen

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

search-config
loading …

Abstract

We present a model-based architecture for monitoring executions of models of real-time and embedded systems. This architecture is highly configurable and allows for the combination of various run-time monitoring tools, not only for observing the system execution, but also for interacting with it. Using a variety of case studies, we illustrate the use of the architecture for connecting the code generated from a model with a range of external tools for different purposes, including execution animation and run-time verification. However, the external tool can not only consume information from the execution, but also generate input for it and thus influence and steer it.
Vorheriger Artikel Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels
Nächster Artikel Automated synthesis of local time requirement for service composition

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 "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • 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
Fußnoten
1
The taxonomy of [16] calls them object events.
 
2
The registration phase is not illustrated in Fig. 5.
 
3
Since the Observer’s SPP port is conjugated, the incoming message becomes an outgoing message for the Observer capsule.
 
4
Our implementation is open source and available at https://​github.​com/​nicolas-hili/​Observer.
 
5
A detailed documentation of our implementation is available at: https://​github.​com/​nicolas-hili/​Observer.
 
6
A screencast is available at https://​youtu.​be/​EbMIgEX9O58.
 
Literatur
1.
Agha, G.: The structure and semantics of actor languages. Foundations of Object-Oriented Languages, pp. 1–59. REX School/Workshop, Noordwijkerhout (1990)
2.
Ahmadi, R., Hili, N., Jweda, L., Das, N., Ganesan, S., Dingel, J.: Run-time monitoring of a rover: MDE research with open source software and low-cost hardware. In: Workshop on Open Source for Model Driven Engineering (OSS4MDE’16) (2016)
3.
Bagherzadeh, M., Hili, N., Dingel, J.: Model-level, platform-independent debugging in the context of the model-driven development of real-time systems. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ACM, pp. 419–430 (2017)
4.
Bagherzadeh, M., Hili, N., Seekatz, D., Dingel, J.: MDebugger: a model-level debugger for UML-RT. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings, ACM, pp. 97–100 (2018)
5.
Balasubramanian, J., Tambe, S., Lu, C., Gokhale, A., Gill, C., Schmidt, D.C.: Adaptive failover for real-time middleware with passive replication. In: 15th IEEE Symposium on Real-Time and Embedded Technology and Applications, IEEE, pp. 118–127 (2009)
6.
Besnard, V., Teodorov, C., Jouault, F., Brun, M., Dhaussy, P.: Verifying and monitoring UML models with observer automata. In: Model-Driven Engineering Languages and Systems (MODELS’19) (2019)
7.
Bures, T., Weyns, D., Berger, C., Biffl, S., Daun, M., Gabor, T., Garlan, D., Gerostathopoulos, I., Julien, C., Krikava, F., Mordinyi, R., Pronios, N.: Software engineering for smart cyber-physical systems–towards a research agenda: report on the first international workshop on software engineering for smart CPS. SIGSOFT Softw. Eng. Notes 40(6), 28–32 (2015)CrossRef
8.
Cassar, I., Francalanza, A., Aceto, L., Ingólfsdóttir, A.: A survey of runtime monitoring instrumentation techniques. In: Francalanza, A., Pace, G.J. (eds.) Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, Torino, Italy, 19 September 2017, Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, vol. 254, pp. 15–28 (2017). https://​doi.​org/​10.​4204/​EPTCS.​254.​2
9.
Chen, F., Roşu, G.: Java-MOP: A Monitoring Oriented Programming Environment for Java, pp. 546–550. Springer, Berlin (2005)MATH
10.
Ciccozzi, F., Spalazzese, R.: MDE4IoT: supporting the internet of things with model-driven engineering. In: International Symposium on Intelligent and Distributed Computing, Springer, pp. 67–76 (2016)
11.
Combemale, B., Crégut, X., Giacometti, J.P., Michel, P., Pantel, M.: Introducing simulation and model animation in the MDE topcased toolkit. In: 4th European Congress on Embedded Real Time Software (ERTS’08) (2008)
12.
Costa B, Pires PF, Delicato FC, Li W, Zomaya AY (2016) Design and Analysis of IoT Applications: A Model-Driven Approach. In: Dependable, Autonomic and Secure Computing, 14th Intl Conf on Pervasive Intelligence and Computing, 2nd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress (DASC/PiCom/DataCom/CyberSciTech), 2016 IEEE 14th Intl C, IEEE, pp 392–399
13.
Costa, B., Pires, P.F., Delicato, F.C., Li, W., Zomaya, A.Y.: Design and analysis of iot applications: a model-driven approach. In: Dependable, Autonomic and Secure Computing, 14th International Conference on Pervasive Intelligence and Computing, 2nd International Conference on Big Data Intelligence and Computing and Cyber Science and Technology Congress (DASC/PiCom/DataCom/CyberSciTech), 2016 IEEE 14th International Conference, IEEE, pp. 392–399 (2016)
14.
Desnoyers, M., Dagenais, M.: LTTng tracer: a low impact performance and behavior monitor for GNU/Linux. OLS (Ott. Linux Symp.) 2006, 209–224 (2006)
15.
16.
17.
Guerraoui, R., Schiper, A.: Software-based replication for fault tolerance. Computer 30(4), 68–74 (1997)CrossRef
18.
Hili, N., Posse, E., Dingel, J.: Calur: an action language for UML-RT. In: 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018) (2018)
19.
Hu, B., Huang, K., Chen, G., Cheng, L., Knoll, A.: Evaluation and improvements of runtime monitoring methods for real-time event streams. ACM Trans. Embed. Comput. Syst. (TECS) 15(3), 56 (2016)
20.
21.
22.
Kahani, N., Hili, N., Cordy, J.R., Dingel, J.: Evaluation of UML-RT and papyrus-RT for modelling self-adaptive systems. In: Proceedings of the 9th International Workshop on Modelling in Software Engineering, IEEE Press, pp. 12–18 (2017)
23.
24.
Kim, M., Viswanathan, M., Ben-Abdallah, H., Kannan, S., Lee, I., Sokolsky, O.: Formally specified monitoring of temporal properties. In: Proceedings of the 11th Euromicro Conference on Real-Time Systems, 1999. IEEE, pp. 114–122 (1999)
25.
26.
Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78(5), 293–303 (2009)CrossRef
27.
Levy, J., Saidi, H., Uribe, T.E.: Combining monitors for runtime system verification. Electron. Notes Theor. Comput. Sci. 70(4), 112–127 (2002)CrossRef
28.
Magee, J., Kramer, J.: State Models and Java Programs. Wiley, Amsterdam (1999)MATH
29.
Mayerhofer, T., Langer, P.: Moliz: a model execution framework for UML models. In: International Master Class on Model-Driven Engineering: Modeling Wizards (MW’12) (2012)
30.
31.
Nguyen, X.T., Tran, H.T., Baraki, H., Geihs, K.: FRASAD: a framework for model-driven IoT application development. In: 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT), IEEE, pp. 387–392 (2015)
32.
Ober, I., Coulette, B., Lakhrissi, Y.: Behavioral modelling and composition of object slices using event observation. In: International Conference on Model Driven Engineering Languages and Systems, Springer, pp. 219–233 (2008)
33.
34.
35.
36.
37.
Persson, P., Angelsmark, O.: Calvin-merging cloud and IoT. Procedia Comput. Sci. 52, 210–217 (2015)CrossRef
38.
Posse, E.: PapyrusRT: modelling and code generation. In: Workshop on Open Source for Model Driven Engineering (OSS4MDE’15) (2015)
39.
40.
41.
Selic, B.: Using UML for modeling complex real-time systems. In: Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES’98), pp. 250–260 (1998)
42.
Selic, B.: Accounting for platform effects in the design of real-time software using model-based methods. IBM Syst. J. 47(2), 309–320 (2008)CrossRef
43.
Swartout, W., Balzer, R.: On the inevitable intertwining of specification and implementation. Commun. ACM 25(7), 438–440 (1982)CrossRef
44.
Taylor, R.N., Medvidovic, N., Dashofy, E.: Software Architecture: Foundations, Theory, and Practice. Wiley, Hoboken (2009)
Metadaten
Titel
A model-based architecture for interactive run-time monitoring
verfasst von
Nicolas Hili
Mojtaba Bagherzadeh
Karim Jahed
Juergen Dingel
Publikationsdatum
22.01.2020
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 4/2020
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-020-00780-y

Weitere Artikel der Ausgabe 4/2020

Software and Systems Modeling 4/2020 Zur Ausgabe

Special Section Paper

Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures

Expert Voice

Personal programming and the object computer

Special Section Paper

Model-based safety assessment with SysML and component fault trees: application and lessons learned

Regular Paper

Behavioral interfaces for executable DSLs

Editorial

Models as the subject of education

Guest Editorial

Guest editorial to the special section on MODELS 2018

Premium Partner

    Bildnachweise