Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL)

This paper argues that a logical specification of the timing behavior, which represents the core abstraction of the Timing Definition Language (TDL), is the key to significantly reduce the development, maintenance and integration costs of FlexRay-based systems. We measured a productivity gain by a f...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems S. 6
Hauptverfasser: Naderlinger, Andreas, Pletzer, Johannes, Pree, Wolfgang, Templ, Josef
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: Washington, DC, USA IEEE Computer Society 20.05.2007
IEEE
Schriftenreihe:ACM Conferences
Schlagworte:
Automotive engineering
Costs
Embedded software
Gain measurement
Laboratories
Processor scheduling
Productivity
Software and its engineering > Software creation and management > Software development process management
Software and its engineering > Software notations and tools > System description languages > Specification languages
Software systems
Theory of computation > Logic > Programming logic
Theory of computation > Semantics and reasoning > Program reasoning
Theory of computation > Semantics and reasoning > Program reasoning > Program specifications
Timing
Topology
ISBN:0769529682, 9780769529684
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper argues that a logical specification of the timing behavior, which represents the core abstraction of the Timing Definition Language (TDL), is the key to significantly reduce the development, maintenance and integration costs of FlexRay-based systems. We measured a productivity gain by a factor of 20 and more with TDL compared to state-of-the-art FlexRay development methods and tools (see Section 1). We illustrate how TDL allows the platform-independent modeling of the timing and functional behavior, and how we accomplish the automatic platform mapping. An outlook sketches future research activities.
Bibliographie:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:0769529682
9780769529684
DOI:10.1109/SEAS.2007.8