{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:04:10Z","timestamp":1729641850172,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/hldvt.2016.7748252","type":"proceedings-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T21:23:51Z","timestamp":1479763431000},"page":"30-39","source":"Crossref","is-referenced-by-count":0,"title":["Formal semantics of behavior specifications in the architecture analysis and design language standard"],"prefix":"10.1109","author":[{"given":"Lo\u0131c","family":"Besnard","sequence":"first","affiliation":[]},{"given":"Thierry","family":"Gautier","sequence":"additional","affiliation":[]},{"given":"Clement","family":"Guy","sequence":"additional","affiliation":[]},{"given":"Paul Le","family":"Guernic","sequence":"additional","affiliation":[]},{"given":"Jean-pierre","family":"Talpin","sequence":"additional","affiliation":[]},{"given":"Brian R.","family":"Larson","sequence":"additional","affiliation":[]},{"given":"Etienne","family":"Borde","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2010.26"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38088-4_19"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2464813"},{"key":"ref13","first-page":"95","article-title":"Polychronous Automata","author":"guemic","year":"2015","journal-title":"TASE 2015 9th International Symposium on Theoretical Aspects of Software Engineering"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.244"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ESLsyn.2011.5952285"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s11334-009-0109-0","article-title":"The clock constraint specification language for building timed causality models","volume":"6","author":"fr\u00e9d\u00e9ric","year":"2010","journal-title":"Innovations in Systems and Software Engineering"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13464-7_5"},{"article-title":"Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems","year":"2013","author":"selic","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"ref4","article-title":"Logically timed specifications in the AADL: a synchronous model of computation and communication (recommendations to the SAE committee on AADL)","author":"lo\u00efc","year":"2014","journal-title":"Technical Report RT-0446 INRIA"},{"key":"ref3","first-page":"1","article-title":"Formal Verification of AADL models with Fiacre and Tina","author":"berthomieu","year":"2010","journal-title":"Embedded Real Time Software and Systems ERTS 2010"},{"article-title":"Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard","year":"2016","author":"lo\u00efc","key":"ref6"},{"key":"ref5","first-page":"54","article-title":"Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony","author":"lo\u00efc","year":"2015","journal-title":"Science of Computing"},{"key":"ref8","article-title":"Formal verification and validation of AADL models","author":"bozzano","year":"2010","journal-title":"Embedded Real-time Software and Systems Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2014.6966691"},{"year":"2011","key":"ref2"},{"year":"2009","key":"ref1"},{"key":"ref9","first-page":"126","article-title":"Compositional verification of architectural models","author":"darren","year":"2012","journal-title":"Proceedings of the 4th International Conference on NASA Formal Methods Ser NFM'12"},{"key":"ref20","first-page":"344","article-title":"Two formal semantics of a subset of the AAD L","author":"yang","year":"2011","journal-title":"16th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2011 Las Vegas Nevada USA 27–29 April 2011"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-013-2307-z"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2013.08.004"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982263"}],"event":{"name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2016,10,7]]},"location":"Santa Cruz, CA, USA","end":{"date-parts":[[2016,10,8]]}},"container-title":["2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7746774\/7748241\/07748252.pdf?arnumber=7748252","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T00:08:51Z","timestamp":1498349331000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7748252\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2016.7748252","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}