More Web Proxy on the site http://driver.im/

Article

Model-based run-time monitoring of end-to-end deadlines

Authors:

Jaswinder Ahluwalia,

Ingolf H. Krüger,

Walter Phillips,

Michael MeisingerAuthors Info & Claims

EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

Pages 100 - 109

https://doi.org/10.1145/1086228.1086248

Published: 18 September 2005 Publication History

Abstract

The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. Model-based development is a promising means for capturing key structural and behavioral requirements before implementing code. Current development approaches focus on components as the central development entity, leaving component integration as a separate and error-prone task in later stages of the system development process. This approach is particularly problematic in the area of Quality-of-Service properties that are inherently end-to-end. We address this problem by using a model where system functions, not components implementing them, are central from the early phases of requirements capture through implementation. We develop a domain model for system functions (or services) based on interaction patterns; this model captures deadline specifications ranging from individual messages to entire services. Using a combination of modeling tools and code-generators for the RT CORBA platform, we provide an experimentation platform for monitoring these specified deadlines in executable specifications.

References

[1]

R. Alur and D. L. Dill. A theory of timed automata. Theor. Computer Science, 126(2):183--235, 1994.

Digital Library

[2]

AMI-C. http://www.ami-c.org/publicspecrelease.asp.

[3]

Automotive Software Workshop San Diego 2004. http://tharkun.ucsd.edu/aswsd/index.html.

[4]

AutoFocus. http://autofocus.informatik.tu-muenchen.de/index-e.html.

[5]

AutoSAR. http://www.autosar.org.

[6]

M. Broy. Automotive software engineering. In Proceedings of the 25th international conference on Software engineering, pages 719--720. IEEE Computer Society, 2003.

Digital Library

[7]

S. Cattani and M. Kwiatkowska. A refinement-based process algebra for timed automata. Formal Aspects of Computing, 2005.

[8]

EAST-EEA. http://www.east-eea.net.

[9]

J. Ellsberger, D. Hogrefe, and A. Sarma. SDL. Formal Object-oriented Language for Communicating Systems. Prentice Hall, 1998.

[10]

G. Georg, R. France, and I. Ray. Composing Aspect Models. In Proceedings of the 4th AOSD Modeling With UML Workshop, 2003.

[11]

Generic Modeling Environment. http://www.isis.vanderbilt.edu/projects/gme/.

[12]

K. Grimm. Software technology in an automotive company: major challenges. In Proceedings of the 25th international conference on Software engineering, pages 498--503. IEEE Computer Society, 2003.

Digital Library

[13]

F. Huber and B. Schätz. Rapid Prototyping with AutoFocus. In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formale Beschreibungstechniken für verteilte Systeme, GI/ITG Fachgespräch, pages 343--352. GMD Verlag (St. Augustin), 1997.

[14]

G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-Integrated Development of Embedded Software. In Proceedings of IEEE January 2003, 2003.

[15]

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In J. L. Knudsen, editor, Proceedings of the 15th European Conference on Object-Oriented Programming, number 2072 in Lecture Notes in Computer Science, pages 327--353, Budapest, Hungary, June 2001. Springer Verlag.

Digital Library

[16]

R. Kirner, R. Lang, G. Freiberger, and P. Puschner. Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. In Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS'02), pages 31--41, 2002.

Digital Library

[17]

S. Kodase, S. Wang, Z. Gu, and K. G. Shin. Improving Scalability of Task Allocation and Scheduling in Large Distributed Real-time Systems using Shared Buffers. In Proceedings of the 9th IEEE Real-time/Embedded Technology and Applications Symposium (RTAS), 2003.

Digital Library

[18]

A. S. Krishna, E. Turkay, A. Gokhale, and D. C. Schmidt. Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems. In Proceedings of the 11th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'05), pages 180--189, 2005.

Digital Library

[19]

B. Kristensen and D. May. Activities: Abstractions for Collective Behavior. In ECOOP'96, volume 1098 of LNCS, pages 472--501. Springer, 1996.

Digital Library

[20]

I. Krüger. Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München, 2000.

[21]

I. Krüger, R. Grosu, P. Scholz, and M. Broy. From MSCs to statecharts. In F. J. Rammig, editor, Distributed and Parallel Embedded Systems, pages 61--71. Kluwer Academic Publishers, 1999.

Digital Library

[22]

I. Krüger, D. Gupta, R. Mathew, P. Moorthy, W. Phillips, S. Rittmann, and J. Ahluwalia. Towards a Process and Tool-Chain for Service-Oriented Automotive Software Engineering. In Proceedings of the ICSE 2004 Workshop on Software Engineering for Automotive Systems (SEAS), 2004.

Digital Library

[23]

I. Krüger, E. C. Nelson, and V. Prasad. Service-based Software Development for Automotive Applications. In CONVERGENCE 2004, 2004.

[24]

I. H. Krüger. Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. In M. Pezzè, editor, FASE 2003, volume 2621 of LNCS, pages 387--402. Springer, 2003.

Digital Library

[25]

I. H. Krüger. Service Specification with MSCs and Roles. In Proceedings of the IASTED International Conference on Software Engineering, 2004.

[26]

I. H. Krüger and R. Mathew. Systematic development and exploration of service-oriented software architectures. In Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA), 2004.

Digital Library

[27]

H. Ma, D. Wang, F. Bastani, I.-L. Yen, and K. Cooper. A Model and Methodology for Composition QoS Analysis of Embedded Systems. In Proceedings of the 11th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'05), pages 56--65, 2005.

Digital Library

[28]

O. Müller. Generating RT-CORBA Components from Service Specifications. Master's thesis, Technische Universität München, 2004.

[29]

S. Neema, J. Sztipanovits, G. Karsai, and K. Butts. Constraint-Based Design-Space Exploration and Model Synthesis. In EMSOFT 2003, pages 290--305, 2003.

[30]

E. C. Nelson and K. V. Prasaad. Automotive Infotronics: An emerging domain for Service-Based Architecture. In I. H. Krüger, B. Schätz, M. Broy, and H. Hussmann, editors, SBSE'03 Service-Based Software Engineering, Proceedings of the FM2003 Workshop, Technical Report TUM-I0315, pages 3--14. Technische Universität München, 2003.

[31]

Object Management Group: Real-time CORBA specification, 2002. http://www.omg.org/technology/documents/index.htm.

[32]

Object Management Group: Time Service Specification. http://www.telelogic.com/products/tau/index.cfm.

[33]

OMG Model Driven Architecture. http://www.omg.org/mda.

[34]

B. Paech. A framework for interaction description with roles. Technical Report TUM-I9731, Technische Universität München, 1997.

[35]

Parlay 3.0. http://www.parlay.org/specs/index.asp.

[36]

K. Pohl and A. Reuys. Considering Variabilities during Component Selection in Product Family Development. In Proceedings of the Fourth International Workshop on Product Family Engineering (PFE-4), volume 2290 of LNCS, pages 22--37. Springer, 2002.

Digital Library

[37]

Sector Abbreviations and Definitions for a Telecommunication Thesaurus Oriented Database. Definition for the term "software service" at http://www7.itu.int/sancho/detailsdefE.idc?id=11702.

[38]

S. Sankar and M. Mandal. Concurrent runtime monitoring of formally specified programs. Computer, 26(3):32--41, 1993.

Digital Library

[39]

D. C. Schmidt, K. Balasubramanian, A. S. Krishna, E. Turkay, and A. Gokhale. Model Driven Development for Distributed Real-time and Embedded Systems. In S. Gerard, J. Champea, and J.-P. Babau, editors, Model Driven Development for Distributed Real-time and Embedded Systems. Hermes, 2005.

[40]

B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modeling. Wiley, 1994.

Digital Library

[41]

J. Snell, D. Tidwell, and P. Kulchenko. Programming Web Services with SOAP. O'Reilly, 2002.

Digital Library

[42]

J. Sprinkle, A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai. Domain Model Translation Using Graph Transformations. In ECBS 2003, pages 159--167, 2003.

[43]

J. Sproston. Model checking for probabilistic timed systems. In B. C, H. B, H. Hermanns, J.-P. Katoen, M. Siegle, and F. Vaandrager, editors, Validation of Stochastic Systems: A Guide to Current Research, volume 2925 of Lecture Notes in Computer Science (Tutorial Volume), pages 189--229. Springer, 2004.

[44]

J. A. Stankovic, R. Zhu, R. Poornalingam, C. Lu, Z. Yu, M. Humphrey, and B. Ellis. VEST: An Aspect-based Composition Tool for Real-time Systems. In Proceedings of the IEEE Real-time Applications Symposium, 2003.

Digital Library

[45]

Systems Modeling Language (SysML). http://www.sysml.org/.

[46]

C. Szyperski. Component Software - Beyond Object-Oriented Programming. Addison-Wesley, 2002.

Digital Library

[47]

UML Profile for Schedulability, Performance, and Time. ptc/2003-03-02 OMG Specification.

[48]

UML 2.0. http://www.omg.org/uml.

[49]

S. Yovine. Model checking timed automata. In Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, pages 114--152, London, UK, 1998. Springer-Verlag.

Digital Library

Cited By

Sahu RWilliams D(2023)Enabling BPF Runtime policies for better BPF managementProceedings of the 1st Workshop on eBPF and Kernel Extensions10.1145/3609021.3609297(49-55)Online publication date: 10-Sep-2023
https://dl.acm.org/doi/10.1145/3609021.3609297
Daun MBrings JWeyer T(2023)Model inspections in the engineering of collaborative cyber‐physical systems with instance‐level review diagramsJournal of Software: Evolution and Process10.1002/smr.239235:5Online publication date: 25-Apr-2023
https://dl.acm.org/doi/10.1002/smr.2392
Peeck JSchlatow JErnst R(2021)Online latency monitoring of time-sensitive event chains in safety-critical applications2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE51398.2021.9474109(539-542)Online publication date: 1-Feb-2021
https://doi.org/10.23919/DATE51398.2021.9474109
Show More Cited By

Index Terms

Model-based run-time monitoring of end-to-end deadlines
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
    2. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

A formal model of services

Service-oriented software systems rapidly gain importance across application domains: They emphasize functionality (services), rather structural entities (components), as the basic building block for system composition. More specifically, services ...
Contractual Specifications of Business Services: Modeling, Formalization and Proximity
LNCS Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI - Volume 10140

Business services arguably play a central role in service-based information systems as they would fill in the gap between the technicality of Service-Oriented Architecture and the business aspects captured in Enterprise Architecture. Business services ...
Analyzing a Pattern-Based Model of a Real-Time Turntable System

Designers of industrial real-time systems are commonly faced with the problem of complex system modeling and analysis, even if a component-based design paradigm is employed. In this paper, we present a case-study in formal modeling and analysis of a ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

September 2005

390 pages

ISBN:1595930914

DOI:10.1145/1086228

Conference Chair:
Wayne Wolf
Princeton University, Princeton, NJ

Copyright © 2005 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 September 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

EMSOFT05

Sponsor:

EMSOFT05: Fifth ACM International Conference on Embedded Software 2005

September 18 - 22, 2005

NJ, Jersey City, USA

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

25
Total Citations
View Citations
615
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Sahu RWilliams D(2023)Enabling BPF Runtime policies for better BPF managementProceedings of the 1st Workshop on eBPF and Kernel Extensions10.1145/3609021.3609297(49-55)Online publication date: 10-Sep-2023
https://dl.acm.org/doi/10.1145/3609021.3609297
Daun MBrings JWeyer T(2023)Model inspections in the engineering of collaborative cyber‐physical systems with instance‐level review diagramsJournal of Software: Evolution and Process10.1002/smr.239235:5Online publication date: 25-Apr-2023
https://dl.acm.org/doi/10.1002/smr.2392
Peeck JSchlatow JErnst R(2021)Online latency monitoring of time-sensitive event chains in safety-critical applications2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE51398.2021.9474109(539-542)Online publication date: 1-Feb-2021
https://doi.org/10.23919/DATE51398.2021.9474109
Garg MLai R(2014)Software reliability model selection for component-based real-time systems2014 International Conference on Data and Software Engineering (ICODSE)10.1109/ICODSE.2014.7062706(1-6)Online publication date: Nov-2014
https://doi.org/10.1109/ICODSE.2014.7062706
Garg MLai R(2014)Measuring the constraint complexity of automotive embedded software systems2014 International Conference on Data and Software Engineering (ICODSE)10.1109/ICODSE.2014.7062701(1-6)Online publication date: Nov-2014
https://doi.org/10.1109/ICODSE.2014.7062701
Holmes TZdun UDustdar S(2012)Automating the Management and Versioning of Service Models at Runtime to Support Service MonitoringProceedings of the 2012 IEEE 16th International Enterprise Distributed Object Computing Conference10.1109/EDOC.2012.32(211-218)Online publication date: 10-Sep-2012
https://dl.acm.org/doi/10.1109/EDOC.2012.32
Holmes TMulo EZdun UDustdar SDustdar SLi F(2011)Model-aware Monitoring of SOAs for ComplianceService Engineering10.1007/978-3-7091-0415-6_5(117-136)Online publication date: 2011
https://doi.org/10.1007/978-3-7091-0415-6_5
Holmes TZdun UDaniel FDustdar S(2010)Monitoring and analyzing service-based internet systems through a model-aware service environmentProceedings of the 22nd international conference on Advanced information systems engineering10.5555/1883784.1883797(98-112)Online publication date: 7-Jun-2010
https://dl.acm.org/doi/10.5555/1883784.1883797
Farcas CFarcas EKrueger IMenarini M(2010)Addressing the Integration Challenge for Avionics and Automotive Systems—From Components to Rich ServicesProceedings of the IEEE10.1109/JPROC.2009.203963098:4(562-583)Online publication date: Apr-2010
https://doi.org/10.1109/JPROC.2009.2039630
Krüger IFarcas CFarcas EMenarini M(2010)7 Requirements Modeling for Embedded Realtime SystemsModel-Based Engineering of Embedded Real-Time Systems10.1007/978-3-642-16277-0_7(155-199)Online publication date: 2010
https://doi.org/10.1007/978-3-642-16277-0_7
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents