{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:51:43Z","timestamp":1730281903243,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/memcod.2018.8557005","type":"proceedings-article","created":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T00:57:30Z","timestamp":1544144250000},"page":"1-11","source":"Crossref","is-referenced-by-count":2,"title":["Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension"],"prefix":"10.1109","author":[{"given":"Jinmiao","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhibin","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chengwei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Bodeveix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mamoun","family":"Filali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Approach for Generating AADL Model Based on Restricted Natural Language Requirement Template [J]","volume":"29","author":"wang","year":"2018","journal-title":"Journal of Software"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.02.058"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-642-28891-3_13","article-title":"Compositional Verification of Architectural Models[C]","author":"cofer","year":"2012","journal-title":"NASA Formal Methods Conference"},{"key":"ref13","article-title":"Teaching Real-Time Scheduling Analysis with Cheddar[C]","author":"singhoff","year":"2015","journal-title":"Ecole d’été Temps Réel"},{"key":"ref14","article-title":"A Requirements Traceability Approach for Safety-Critical Embedded System [J]","author":"fei","year":"2018","journal-title":"Chinese Journal of Computers"},{"key":"ref15","first-page":"361","article-title":"Architecture Fault Modeling with the AADL ErrorModel Annex[C]","author":"delange","year":"2014","journal-title":"Software Engineering and Advanced Applications"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref17","article-title":"Hierarchical modeling and analysis of timed systems[J]","author":"david","year":"2006","journal-title":"Department of Information Technology Uppsala University Sweden"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-013-1322-8"},{"key":"ref19","first-page":"47","article-title":"Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude[C]","author":"\u00f6lveczky","year":"2010","journal-title":"Ifip Wg 6 1 International Conference and Ifip Wg 6 1 International Conference on Formal Techniques for Distributed Systems"},{"key":"ref4","first-page":"1206","article-title":"The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems[C] Computer Aided Control System Design","author":"feiler","year":"2006","journal-title":"IEEE International Conference on Control Applications 2006 IEEE International Symposium on Intelligent Control IEEE Xplore"},{"journal-title":"Architecture Analysis and Design Language","year":"2010","author":"surhone","key":"ref3"},{"key":"ref6","first-page":"1166","author":"yang","year":"2009","journal-title":"Towards a formal semantics for the AADL behavior annex[J]"},{"journal-title":"Int’l Society of Automotive Engineers","year":"2011","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2396526"},{"key":"ref7","article-title":"Verification of AADL Models with Timed Abstract State Machines[J]","author":"yang","year":"2015","journal-title":"Journal of Software"},{"journal-title":"SAE Architecture Analysis & Design Language (standard SAE AS5506)","year":"2009","key":"ref2"},{"key":"ref9","article-title":"Hierarchical modeling and analysis of timed systems[J]","author":"david","year":"2006","journal-title":"Department of Information Technology Uppsala University Sweden"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2560033"},{"key":"ref20","first-page":"30","article-title":"Formal semantics of behavior specifications in the architecture analysis and design language standard[C]","author":"besnard","year":"2016","journal-title":"High-Level Design Validation and Test Workshop"},{"key":"ref22","article-title":"Adding Formal Meanings to AADL Models with Hybrid Annex[C]","author":"ahmad","year":"2014","journal-title":"FACS"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/978-3-642-38088-4_19","article-title":"Formal Specification and Verification of Behaviors for Embedded Systems with Software[C]","author":"larson","year":"2013","journal-title":"NASA Formal Methods Symposium Springer Berlin Heidelberg"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2012.22"},{"key":"ref23","first-page":"30","article-title":"Formal smemantics of behavior specifications in the architecture analysis and design language standard[C]","author":"besnard","year":"2016","journal-title":"High-Level Design Validation and Test Workshop"},{"key":"ref26","article-title":"Polychronous Automata and their Use for Formal Validation of AADL Models[J]","author":"gautier","year":"2017","journal-title":"Frontiers of Computer Science"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2007.41"}],"event":{"name":"2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2018,10,15]]},"location":"Beijing, China","end":{"date-parts":[[2018,10,18]]}},"container-title":["2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8536775\/8556861\/08557005.pdf?arnumber=8557005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T02:43:42Z","timestamp":1643251422000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8557005\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/memcod.2018.8557005","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}