AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems
Architectural engineering of embedded systems comprehensively affects both the development processes and the abilities of the systems. Verification of architectural engineering is consequently essential in the development of safety- and missioncritical embedded system to avoid costly and hazardous f...
Gespeichert in:
| Veröffentlicht in: | Proceedings - International Symposium on Software Reliability Engineering S. 260 - 270 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
01.10.2017
|
| Schlagworte: | |
| ISSN: | 2332-6549 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Architectural engineering of embedded systems comprehensively affects both the development processes and the abilities of the systems. Verification of architectural engineering is consequently essential in the development of safety- and missioncritical embedded system to avoid costly and hazardous faults. In this paper, we present the Architecture Quality Assurance Tool (AQAT), an application program developed to provide a holistic, formal, and automatic verification process for architectural engineering of critical embedded systems. AQAT includes architectural model checking, model-based testing, and selective regression verification features to effectively and efficiently detect design faults, implementation faults, and faults created by maintenance modifications. Furthermore, the tool includes a feature that analyzes architectural dependencies, which in addition to providing essential information for impact analyzes of architectural design changes may be used for hazard analysis, such as the identification of potential error propagations, common cause failures, and single point failures. Overviews of both the graphical user interface and the back-end processes of AQAT are presented with a sensor-to-actuator system example. |
|---|---|
| AbstractList | Architectural engineering of embedded systems comprehensively affects both the development processes and the abilities of the systems. Verification of architectural engineering is consequently essential in the development of safety- and missioncritical embedded system to avoid costly and hazardous faults. In this paper, we present the Architecture Quality Assurance Tool (AQAT), an application program developed to provide a holistic, formal, and automatic verification process for architectural engineering of critical embedded systems. AQAT includes architectural model checking, model-based testing, and selective regression verification features to effectively and efficiently detect design faults, implementation faults, and faults created by maintenance modifications. Furthermore, the tool includes a feature that analyzes architectural dependencies, which in addition to providing essential information for impact analyzes of architectural design changes may be used for hazard analysis, such as the identification of potential error propagations, common cause failures, and single point failures. Overviews of both the graphical user interface and the back-end processes of AQAT are presented with a sensor-to-actuator system example. |
| Author | Pettersson, Paul Johnsen, Andreas Hanninen, Kaj Lundqvist, Kristina |
| Author_xml | – sequence: 1 givenname: Andreas surname: Johnsen fullname: Johnsen, Andreas email: andreas.johnsen@mdh.se organization: Sch. of Innovation, Malardalen Univ., Vasteras, Sweden – sequence: 2 givenname: Kristina surname: Lundqvist fullname: Lundqvist, Kristina organization: Sch. of Innovation, Malardalen Univ., Vasteras, Sweden – sequence: 3 givenname: Kaj surname: Hanninen fullname: Hanninen, Kaj organization: Sch. of Innovation, Malardalen Univ., Vasteras, Sweden – sequence: 4 givenname: Paul surname: Pettersson fullname: Pettersson, Paul organization: Sch. of Innovation, Malardalen Univ., Vasteras, Sweden |
| BookMark | eNot0LFOwzAUQFGDQKItHZlY_AMpfs92ErNFVQsVlVBJmCvHflGN0gbZ6dC_Bwmmu53hTtnNaTgRYw8gFgDCPG3q-mO1QAHFQuIVm5uiBC3LXBgF-ppNUErMcq3MHZum9CUECgU4YW_VrmqeeXMgXkV3CCO58RyJ7862D-OFVymdoz054s0w9LwbIl_GMAZne746tuQ9eV5f0kjHdM9uO9snmv93xj7Xq2b5mm3fXzbLapsFBBwzAInYGmUKa1Ea3XlnlC-VhLY1nQORu4IkaqfIK9KknShyA1YID7IDJ2fs8c8NRLT_juFo42Vf_m4QBuUP_v5NYw |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/ISSRE.2017.32 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) 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 | 9781538609415 153860941X |
| EISSN | 2332-6549 |
| EndPage | 270 |
| ExternalDocumentID | 8109092 |
| Genre | orig-research |
| GroupedDBID | 23M 29G 29N 29O 6IE 6IF 6IH 6IK 6IL 6IN AAJGR AAWTH ABLEC ACGFS ADZIZ ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK IPLJI M43 OCL RIE RIL RNS |
| ID | FETCH-LOGICAL-i212t-11322b9497aa2395fdc94d8431bb9fc106c7e325c4ed4e5e5c07691a00d13f1c3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000426939700025&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:37:03 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i212t-11322b9497aa2395fdc94d8431bb9fc106c7e325c4ed4e5e5c07691a00d13f1c3 |
| PageCount | 11 |
| ParticipantIDs | ieee_primary_8109092 |
| PublicationCentury | 2000 |
| PublicationDate | 2017-Oct. |
| PublicationDateYYYYMMDD | 2017-10-01 |
| PublicationDate_xml | – month: 10 year: 2017 text: 2017-Oct. |
| PublicationDecade | 2010 |
| PublicationTitle | Proceedings - International Symposium on Software Reliability Engineering |
| PublicationTitleAbbrev | ISSRE |
| PublicationYear | 2017 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0020412 |
| Score | 2.0150192 |
| Snippet | Architectural engineering of embedded systems comprehensively affects both the development processes and the abilities of the systems. Verification of... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 260 |
| SubjectTerms | Actuators Analytical models Computer architecture dependence analysis Embedded systems Graphical user interfaces Model checking model-based testing regression verification verification tool |
| Title | AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems |
| URI | https://ieeexplore.ieee.org/document/8109092 |
| WOSCitedRecordID | wos000426939700025&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/eLvHCXMwlV09T8MwED2VioGpQIv4lgdG0iaOU8dsFWoFAlWFFqlbFZ8vUiVIUGmR-PfYSfoxsLBZXizd2T7f-d57ADdcRBGFSexp46pVKQ-9mBtXhkO025kIuwVQ-FkOh_F0qkY1uN1gYYioaD6jthsWf_kmx5UrlXVi10Wo7IW7J6UssVqb5MrxRm05NDuP4_Fr33VuybZTFtlRTikCx6DxvyUPobVF4LHRJrYcQY2yY2isJRhYdSKb8NR76U3umHU26-18CbCSGuOHWeuvnHQGsUmevzP7QmVrcQPW_9Bkrx3DKtbyFrwN-pP7B6_SR_DmNuAsPScSz7USSiYJD1WUGlTCxPZJoLVK0SZ7KCnkEQoygiKK0JddFSS-b4IwDTA8gXqWZ3QKLFCx0CaxARsDwVNKhK-1QAy4cdid5Ayazjazz5ICY1aZ5fzv6Qs4cJYve94uob5crOgK9vF7Of9aXBd--wUzkZnh |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NTwIxEJ0QNNETKhi_7cGjC7vdlt16IwYCAQnKmnAj23Y2IUHWIJj47213l4-DF29NL01m2pl2Ou89gAfKOEc_Dh2pbbUqob4TUm3LcEqZ7YyomhlQeBAMh-FkIkYleNxiYRAxaz7Duh1mf_k6VWtbKmuEtotQmIB7wBmjXo7W2j6vLHPUjkWz0RuP39q2dyuoW22RPe2ULHV0Kv9b9ARqOwweGW2zyymUcHEGlY0IAynOZBX6rddW9ESMu0lr71OA5OQYP8TYf23FM5BEaTon5o5KNvIGpP0h0QQeTQre8hq8d9rRc9cpFBKcmUk5K8fKxFMpmAjimPqCJ1oJpkNzKZBSJMo891SAPuWKoWbIkSs3aAovdl3t-Ymn_HMoL9IFXgDxRMikjk3KVh6jCcbMlZIp5VFt0TvxJVStbaafOQnGtDDL1d_T93DUjV4G00Fv2L-GY-uFvAPuBsqr5Rpv4VB9r2Zfy7vMh79kxZ0o |
| 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+-+International+Symposium+on+Software+Reliability+Engineering&rft.atitle=AQAT%3A+The+Architecture+Quality+Assurance+Tool+for+Critical+Embedded+Systems&rft.au=Johnsen%2C+Andreas&rft.au=Lundqvist%2C+Kristina&rft.au=Hanninen%2C+Kaj&rft.au=Pettersson%2C+Paul&rft.date=2017-10-01&rft.pub=IEEE&rft.eissn=2332-6549&rft.spage=260&rft.epage=270&rft_id=info:doi/10.1109%2FISSRE.2017.32&rft.externalDocID=8109092 |