The challenge of interoperability: Model-based integration for automotive control software

Model-Based Engineering (MBE) is a promising approach to cope with the challenges of designing the next-generation automotive systems. The increasing complexity of automotive electronics, the platform, distributed real-time embedded software, and the need for continuous evolution from one generation...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings - ACM IEEE Design Automation Conference pp. 1 - 6
Main Authors: Huafeng Yu, Joshi, Prachi, Talpin, Jean-Pierre, Shukla, Sandeep, Shiraishi, Shinichi
Format: Conference Proceeding
Language:English
Published: IEEE 01.06.2015
Subjects:
architecture modeling
Automotive engineering
Computational modeling
Computer architecture
Contracts
design by contract
integration framework
interoperability
Mathematical model
Model-based design
Software
Timing
timing specification
ISSN:0738-100X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract Model-Based Engineering (MBE) is a promising approach to cope with the challenges of designing the next-generation automotive systems. The increasing complexity of automotive electronics, the platform, distributed real-time embedded software, and the need for continuous evolution from one generation to the next has necessitated highly productive design approaches. However, heterogeneity, interoperability, and the lack of formal semantic underpinning in modeling, integration, validation and optimization make design automation a big challenge, which becomes a hindrance to the wider application of MBE in the industry. This paper briefly presents the interoperability challenges in the context of MBE and summarizes our current contribution to address these challenges with regard to automotive control software systems. A novel model-based formal integration framework is being developed to enable architecture modeling, timing specification, formal semantics, design by contract and optimization in the system-level design. The main advantages of the proposed approach include its pervasive use of formal methods, architecture analysis and design language (AADL) and associated tools, a novel timing annex for AADL with an expressive timing relationship language, a formal contract language to express component-level requirements and validation of component integration, and the resulting high assurance system delivery.
AbstractList Model-Based Engineering (MBE) is a promising approach to cope with the challenges of designing the next-generation automotive systems. The increasing complexity of automotive electronics, the platform, distributed real-time embedded software, and the need for continuous evolution from one generation to the next has necessitated highly productive design approaches. However, heterogeneity, interoperability, and the lack of formal semantic underpinning in modeling, integration, validation and optimization make design automation a big challenge, which becomes a hindrance to the wider application of MBE in the industry. This paper briefly presents the interoperability challenges in the context of MBE and summarizes our current contribution to address these challenges with regard to automotive control software systems. A novel model-based formal integration framework is being developed to enable architecture modeling, timing specification, formal semantics, design by contract and optimization in the system-level design. The main advantages of the proposed approach include its pervasive use of formal methods, architecture analysis and design language (AADL) and associated tools, a novel timing annex for AADL with an expressive timing relationship language, a formal contract language to express component-level requirements and validation of component integration, and the resulting high assurance system delivery.
Author Talpin, Jean-Pierre
Huafeng Yu
Shiraishi, Shinichi
Joshi, Prachi
Shukla, Sandeep
Author_xml – sequence: 1
  surname: Huafeng Yu
  fullname: Huafeng Yu
  email: hyu@us.toyota-itc.com
  organization: TOYOTA InfoTechnology Center, Mountain View, CA, USA
– sequence: 2
  givenname: Prachi
  surname: Joshi
  fullname: Joshi, Prachi
  email: prachi@vt.edu
  organization: Virginia Polytech. Inst. & State Univ., Falls Church, VA, USA
– sequence: 3
  givenname: Jean-Pierre
  surname: Talpin
  fullname: Talpin, Jean-Pierre
  email: talpin@inria.fr
  organization: INRIA, Rennes, France
– sequence: 4
  givenname: Sandeep
  surname: Shukla
  fullname: Shukla, Sandeep
  email: shukla@vt.edu
  organization: Virginia Polytech. Inst. & State Univ., Falls Church, VA, USA
– sequence: 5
  givenname: Shinichi
  surname: Shiraishi
  fullname: Shiraishi, Shinichi
  email: sshiraishi@us.toyota-itc.com
  organization: TOYOTA InfoTechnology Center, Mountain View, CA, USA
BookMark eNotjMFKAzEURSNUsK1du3AzPzD1JXmZJO6kaBUqbiqIm5LOvLSR6aRkotK_d1BX58I9nAkbdbEjxq44zDlHdSM0oq7sfKC2qM7YzGrDh20NKGFHbAxampIDvF2wSd9_AADyio_Z-3pPRb13bUvdjoroi9BlSvFIyW1DG_LptniODbXl1vXU_L675HKIXeFjKtxnjoeYw9dQiV1OsS366PO3S3TJzr1re5r9c8peH-7Xi8dy9bJ8WtytSicM5FJocLK2tTQelSKDgkA0EsFtGy4qsFa6wayd4JWuOXhBqIxC9IiNdkJO2fVfNxDR5pjCwaXTRg-2QCF_APEWVGQ
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1145/2744769.2747945
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Xplore
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Xplore
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISBN 9781479980529
1479980528
EndPage 6
ExternalDocumentID 7167242
Genre orig-research
GroupedDBID 123
29O
6IE
6IF
6IH
6IK
6IL
6IM
6IN
AAJGR
AAWTH
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RIO
RNS
ID FETCH-LOGICAL-a280t-270a3c9c38f455e842e02d340abd1260993aa28ca2167c10f2e458544f44d7a23
IEDL.DBID RIE
ISICitedReferencesCount 8
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000370268400059&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0738-100X
IngestDate Wed Aug 27 02:19:58 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a280t-270a3c9c38f455e842e02d340abd1260993aa28ca2167c10f2e458544f44d7a23
PageCount 6
ParticipantIDs ieee_primary_7167242
PublicationCentury 2000
PublicationDate 20150601
PublicationDateYYYYMMDD 2015-06-01
PublicationDate_xml – month: 06
  year: 2015
  text: 20150601
  day: 01
PublicationDecade 2010
PublicationTitle Proceedings - ACM IEEE Design Automation Conference
PublicationTitleAbbrev DAC
PublicationYear 2015
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0004161
Score 1.9762169
Snippet Model-Based Engineering (MBE) is a promising approach to cope with the challenges of designing the next-generation automotive systems. The increasing...
SourceID ieee
SourceType Publisher
StartPage 1
SubjectTerms architecture modeling
Automotive engineering
Computational modeling
Computer architecture
Contracts
design by contract
integration framework
interoperability
Mathematical model
Model-based design
Software
Timing
timing specification
Title The challenge of interoperability: Model-based integration for automotive control software
URI https://ieeexplore.ieee.org/document/7167242
WOSCitedRecordID wos000370268400059&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07a8MwED6S0KFd-khK32joWCeWLFlW19LQKWRoIXQJsh5QKElxnJT--57kvIYu3YwxRtYZ3XfSfd8HcC94Kbwo8kSVZThmRAynjDaJMarEfGJz7XQ0m5CjUTGZqHELHrZcGOdcbD5z_XAZz_Lt3CzDVtkAsb3ElNKGtpR5w9XacSBp1EbFPzbIlaaTtYwP5WIQRPBkrvqhAFOBt7TnoxLTyPD4fwM4gd6Oj0fG20xzCi03O4OjPSnBLrxjvInZOKOQuSdBCCLstFeNEvfPIwm-Z59JyFuWbGQiMCwEcSvRyzr25a3wLU33OlngCv2tK9eDt-Hz69NLsvZNSDQr0jpQzHRmlMkKz4VwBWcuZTbjqS4txfoFIYnGJ41m-DmGpp45jlUD555zKzXLzqEzm8_cBRArjJa-FNSmiJt0WmZOKs8so4Y6BFuX0A2zNP1qpDGm6wm6-vv2NRwi3hBNp9UNdOpq6W7hwKzqj0V1F-P5C_BmoVg
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFH7MKagXf2zib3PwaLckTdbGqzgmzrHDhOFlpEkKwtik6yb-9760-3Xw4q2UUtK8kve95H3fB3AvRSJTGbcClST-mBExnDLaBMaoBPOJbWmnC7OJqNeLh0PVr8DDmgvjnCuaz1zDXxZn-XZq5n6rrInYPsKUsgO7UghOS7bWhgXJCnVU_Ge9YCkdLoV8mJBNL4MXtVTDl2DKM5e2nFSKRNI--t8QjqG-YeSR_jrXnEDFTU7hcEtMsAYfGHFiVt4oZJoSLwXh99qzUov755F457Nx4DOXJSuhCAwMQeRK9DwvOvMW-Jayf53McI3-1pmrw3v7efDUCZbOCYHmMc09yUyHRpkwToWULhbcUW5DQXViGVYwCEo0Pmk0x88xjKbcCawbhEiFsJHm4RlUJ9OJOwdipdFRmkhmKSInTZPQRSrlljPDHMKtC6j5WRp9leIYo-UEXf59-w72O4O37qj70nu9ggNEH7Lsu7qGap7N3Q3smUX-Octui9j-AoSTpJ8
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+-+ACM+IEEE+Design+Automation+Conference&rft.atitle=The+challenge+of+interoperability%3A+Model-based+integration+for+automotive+control+software&rft.au=Huafeng+Yu&rft.au=Joshi%2C+Prachi&rft.au=Talpin%2C+Jean-Pierre&rft.au=Shukla%2C+Sandeep&rft.date=2015-06-01&rft.pub=IEEE&rft.issn=0738-100X&rft.spage=1&rft.epage=6&rft_id=info:doi/10.1145%2F2744769.2747945&rft.externalDocID=7167242
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0738-100X&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0738-100X&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0738-100X&client=summon