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...
Gespeichert in:
| Veröffentlicht in: | Proceedings - ACM IEEE Design Automation Conference S. 1 - 6 |
|---|---|
| Hauptverfasser: | , , , , |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
01.06.2015
|
| Schlagworte: | |
| ISSN: | 0738-100X |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| 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 Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) 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/eLvHCXMwlV09T8MwED21FQMsfLSIb3lgJG1iO3bCiqgYUNUBpIqlsp2LhIRalKZF_HvOTks7sLBFURTFPsvvzrn3HsBtrDInpKMI2MxF0pa0DyqjIp4ZI1AYAqXgWvKsR6NsMsnHLbj75cIgYmg-w76_DP_yi7lb-qOyAeX2miClDW2tVcPV2nIgk6CNSivWy5XGk7WMTyLTgRfB0yrv-wIs97ylHR-VACPDw_99wBH0tnw8Nv5FmmNo4ewEDnakBLvwRvFmbuOMwuYl80IQ_qS9apS4v--Z9z37iDxuFWwjE0FhYZS3MrOsQ1_eit7SdK-zBe3QX6bCHrwOH18enqK1b0JkeBbXnmJmhMudyEqZpphJjjEvhIyNLRKqXyglMfSkM5yG45K45CipapCylLLQhotT6MzmMzwDptCmKJVXlEFJg7QoS6NT57TV1nB7Dl0_S9PPRhpjup6gi79vX8I-5Rtp02l1BZ26WuI17LlV_b6obkI8fwABZqGb |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEB5qFdSLjyq-3YNH0yabycurWCrW0kOF4qXsbiYgSCtpWvHfO5v0dfDiLYQQsjvLfjOb-b4P4M4NY-Oj4Qjo2DioM94HQxU6MlbKJ18xKJWuJd2o14uHw6Rfg_sVF4aIyuYzatrL8l9-OjEze1TW4tw-YkjZgu0AUboVW2vNgvRKdVRes1aw1B0uhHw8DFpWBi8Kk6YtwRLLXNpwUimBpH3wv084hJM1I0_0V1hzBDUaH8P-hphgA9454sIsvVHEJBNWCsKeteeVFvfPg7DOZ5-ORa5ULIUiODCCM1ehZkXZmTfnt1T962LKe_S3yukE3tpPg8eOs3BOcJSM3cKSzJRvEuPHGQYBxSjJlamPrtKpxxUMJyWKnzRK8nCM52aSkOsGxAwxjZT0T6E-nozpDERIOiAMraYMIQ9SE2YqCoyJdKSV1OfQsLM0-qrEMUaLCbr4-_Yt7HYGr91R97n3cgl7nH0EVd_VFdSLfEbXsGPmxcc0vylj-wuXgqTi |
| 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 |