Validating Automotive Control Software Using Instrumentation-Based Verification

This paper discusses the results of an application of a formally based verification technique, called Instrumentation-Based Verification (IBV), to a production automotive lighting controller. The goal of the study is to assess, from both a tools as well as a methodological perspective, the performan...

Full description

Saved in:
Bibliographic Details
Published in:2009 IEEE/ACM International Conference on Automated Software Engineering pp. 15 - 25
Main Authors: Ray, A., Morschhaeuser, I., Ackermann, C., Cleaveland, R., Shelton, C., Martin, C.
Format: Conference Proceeding
Language:English
Published: IEEE 01.11.2009
Subjects:
Automatic control
Automotive engineering
Educational institutions
Instruments
Lighting control
Mathematical model
Monitoring
Production
Software engineering
USA Councils
ISBN:1424452597, 9781424452590
ISSN:1938-4300
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract This paper discusses the results of an application of a formally based verification technique, called Instrumentation-Based Verification (IBV), to a production automotive lighting controller. The goal of the study is to assess, from both a tools as well as a methodological perspective, the performance of IBV in an industrial setting. The insights obtained as a result of the project include a refinement of a previously developed architecture for requirements specifications; observations about changes to model-based design workflows; insights into the role of requirements during development; and the capability of automated verification to detect inconsistencies among requirements as well as between requirements and design models.
AbstractList This paper discusses the results of an application of a formally based verification technique, called Instrumentation-Based Verification (IBV), to a production automotive lighting controller. The goal of the study is to assess, from both a tools as well as a methodological perspective, the performance of IBV in an industrial setting. The insights obtained as a result of the project include a refinement of a previously developed architecture for requirements specifications; observations about changes to model-based design workflows; insights into the role of requirements during development; and the capability of automated verification to detect inconsistencies among requirements as well as between requirements and design models.
Author Ray, A.
Morschhaeuser, I.
Ackermann, C.
Shelton, C.
Martin, C.
Cleaveland, R.
Author_xml – sequence: 1
  givenname: A.
  surname: Ray
  fullname: Ray, A.
  organization: Fraunhofer Center for Exp. Software Eng., College Park, MD, USA
– sequence: 2
  givenname: I.
  surname: Morschhaeuser
  fullname: Morschhaeuser, I.
  organization: Fraunhofer Center for Exp. Software Eng., College Park, MD, USA
– sequence: 3
  givenname: C.
  surname: Ackermann
  fullname: Ackermann, C.
  organization: Fraunhofer Center for Exp. Software Eng., College Park, MD, USA
– sequence: 4
  givenname: R.
  surname: Cleaveland
  fullname: Cleaveland, R.
  organization: Dept. of Comput. Sci., Univ. of Maryland, College Park, MD, USA
– sequence: 5
  givenname: C.
  surname: Shelton
  fullname: Shelton, C.
  organization: Robert Bosch North America Res. & Technol. Center, Pittsburgh, PA, USA
– sequence: 6
  givenname: C.
  surname: Martin
  fullname: Martin, C.
  organization: Robert Bosch North America Res. & Technol. Center, Pittsburgh, PA, USA
BookMark eNotjE1PAjEYhGvEREBOHr3sH1h8335s-x5xg0pCwgHhSspua2qgNbtF478XP-YyyTwzM2KDmKJj7BZhigh0P1vPpxyApmQu2IS0AV2REoZQXrIRSi6l4or0gA2RhCmlALhmk75_g7POjAwO2WprD6G1OcTXYnbK6Zhy-HBFnWLu0qFYJ58_beeKTf_TWMQ-d6eji_m8SLF8sL1ri63rgg_Nb3TDrrw99G7y72O2eZy_1M_lcvW0qGfL0nJBuWzBNq1SFWoLCB79Xu3Jk0KPVlWcBAeuZUuV2IPXqjEcLflGSyO5FdaJMbv7-w3Oud17F462-9opKVAbLb4BRKBSow
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ASE.2009.98
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE/IET Electronic Library (IEL) (UW System Shared)
IEEE Proceedings Order Plans (POP All) 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 Computer Science
EISBN 9780769538914
0769538916
EndPage 25
ExternalDocumentID 5431787
Genre orig-research
GroupedDBID 29I
6IE
6IF
6IH
6IK
6IL
6IM
6IN
6J9
AAJGR
AAWTH
ABLEC
ACREN
ADYOE
ADZIZ
AFYQB
ALMA_UNASSIGNED_HOLDINGS
AMTXH
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
M43
OCL
RIE
RIL
ID FETCH-LOGICAL-a239t-d0acd55617a010f1fb5b9f951f1a5629320274d963b0f75c821a9fc74842a3ae3
IEDL.DBID RIE
ISBN 1424452597
9781424452590
ISICitedReferencesCount 5
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000278137400002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1938-4300
IngestDate Wed Aug 27 08:36:38 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a239t-d0acd55617a010f1fb5b9f951f1a5629320274d963b0f75c821a9fc74842a3ae3
PageCount 11
ParticipantIDs ieee_primary_5431787
PublicationCentury 2000
PublicationDate 2009-Nov.
PublicationDateYYYYMMDD 2009-11-01
PublicationDate_xml – month: 11
  year: 2009
  text: 2009-Nov.
PublicationDecade 2000
PublicationTitle 2009 IEEE/ACM International Conference on Automated Software Engineering
PublicationTitleAbbrev ASE
PublicationYear 2009
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000452981
ssj0051577
ssj0001130041
Score 1.7976663
Snippet This paper discusses the results of an application of a formally based verification technique, called Instrumentation-Based Verification (IBV), to a production...
SourceID ieee
SourceType Publisher
StartPage 15
SubjectTerms Automatic control
Automotive engineering
Educational institutions
Instruments
Lighting control
Mathematical model
Monitoring
Production
Software engineering
USA Councils
Title Validating Automotive Control Software Using Instrumentation-Based Verification
URI https://ieeexplore.ieee.org/document/5431787
WOSCitedRecordID wos000278137400002&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/eLvHCXMwlV1LTwIxEJ4A8eAJFYzv9ODRlXYfdHtEItELkqCEG-n2YTy4GAT8-067XYyJF2_7uOw2nc7X6XzfB3CdIErWnGJ8qww3KEWKIWUy1-9AYyG1iGmhvNkEH4_z-VxMGnCz48IYY3zzmbl1l_4sXy_VxpXKeo63jROsCU3O-xVXa1dPcdLgInAofX2FeS2pelXGtO1dGBGv5FGKr2qSV4b4n9faT-GeBiIfo6I3mN5XqpYi_2XA4vPPqP2_Lz-A7g-Rj0x2KeoQGqY8gnbt5EBCYHfgaYZw3BEdylcy2Kx9h97WkGHVx06muFZ_yZUhvsGAPHrV2ffAWiqjO8yEmsxwLttQAezCy-j-efgQBauFSMaJWEeaSqWdUyaXuEGzzBZZISyiL8skIiThXNZ5qjFaC2p5pvKYSWGVEyKNZSJNcgytclmaEyCIr5jQPM0kohNKlUy0MSmLdV-rHOHnKXTc-Cw-KjWNRRias78fn8O-P7_x7L8LaOHvmUvYU9v12-fqyk-BbybwqII
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwIxEJ4gmugJFYxve_DoSvflbo9IMBARSUDCjXT7MB5cDAL-fafdLsbEi7d9XHabTufrdL7vA7gOESXLhGJ8ixg3KFmEIaVi0-9AA8YlC2gmrNlEMhik0ykbVuBmw4VRStnmM3VrLu1ZvpyLlSmVNQ1vGyfYFmzHURTQgq21qagYcXDmWJS2wuJbNalyXcbEbX0YEbGkXoSvSppXjDuApFR_cvfUUfl8ypqtUafQtWTpLwsWm4Eeav_79n1o_FD5yHCTpA6govJDqJVeDsSFdh2eJwjIDdUhfyWt1dL26K0VaRed7GSEq_UXXyhiWwxIz-rOvjveUu7dYy6UZIKzWbsaYANeHjrjdtdzZgseD0K29CTlQhqvzITjFk37OoszphF_aZ8jRmLGZz2JJMZrRnUSizTwOdPCSJEGPOQqPIJqPs_VMRBEWD6TSRRzxCeUCh5KpSI_kHdSpAhAT6Buxmf2UehpzNzQnP79-Ap2u-On_qzfGzyewZ49zbFcwHOo4q-qC9gR6-Xb5-LSTodvIUyryQ
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=2009+IEEE%2FACM+International+Conference+on+Automated+Software+Engineering&rft.atitle=Validating+Automotive+Control+Software+Using+Instrumentation-Based+Verification&rft.au=Ray%2C+A.&rft.au=Morschhaeuser%2C+I.&rft.au=Ackermann%2C+C.&rft.au=Cleaveland%2C+R.&rft.date=2009-11-01&rft.pub=IEEE&rft.isbn=9781424452590&rft.issn=1938-4300&rft.spage=15&rft.epage=25&rft_id=info:doi/10.1109%2FASE.2009.98&rft.externalDocID=5431787
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1938-4300&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1938-4300&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1938-4300&client=summon