{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:36Z","timestamp":1772163996196,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,18]],"date-time":"2014-10-18T00:00:00Z","timestamp":1413590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,18]]},"DOI":"10.1145\/2663171.2663178","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T08:29:24Z","timestamp":1413275364000},"page":"29-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Hybrid annex"],"prefix":"10.1145","author":[{"given":"Ehsan","family":"Ahmad","sequence":"first","affiliation":[{"name":"Northwestern Polytechnical University & Chinese Academy of Sciences, Xi'an, China"}]},{"given":"Brian R.","family":"Larson","sequence":"additional","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}]},{"given":"Stephen C.","family":"Barrett","sequence":"additional","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences, Beijing, China"}]},{"given":"Yunwei","family":"Dong","sequence":"additional","affiliation":[{"name":"Northwestern Polytechnical University, Xi'an, China"}]}],"member":"320","published-online":{"date-parts":[[2014,10,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The 11th International Symposium on Formal Aspects of Component Software, FACS'14","author":"Ahmad Ehsan","year":"2014","unstructured":"Ehsan Ahmad , Yunwei Dong , Shuling Wang , Naijun Zhan , and Liang Zou , Adding formal meanings to aadl with hybrid annex, accepted for publication , The 11th International Symposium on Formal Aspects of Component Software, FACS'14 , 2014 . Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, and Liang Zou, Adding formal meanings to aadl with hybrid annex, accepted for publication, The 11th International Symposium on Formal Aspects of Component Software, FACS'14, 2014."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2331147.2331159"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MoDRE.2011.6045362"},{"key":"e_1_3_2_1_4_1","volume-title":"Unit relations annex, (draft, progress update) https:\/\/wiki.sei.cmu.edu\/aadl\/images\/c\/c5\/201309-ispras-unit-relations-annex.pdf","author":"Buzdalov Denis","year":"2013","unstructured":"Denis Buzdalov , Alexey Khoroshilov , and Eugene Kornykhin , Unit relations annex, (draft, progress update) https:\/\/wiki.sei.cmu.edu\/aadl\/images\/c\/c5\/201309-ispras-unit-relations-annex.pdf , 2013 . Denis Buzdalov, Alexey Khoroshilov, and Eugene Kornykhin, Unit relations annex, (draft, progress update) https:\/\/wiki.sei.cmu.edu\/aadl\/images\/c\/c5\/201309-ispras-unit-relations-annex.pdf, 2013."},{"key":"e_1_3_2_1_5_1","volume-title":"Inc.","author":"Clements Paul","year":"2003","unstructured":"Paul Clements , Felix Bachmann , Len Bass , David Garlan , James Ives , Reed Little , Robert Nord , and Judith Stafford , Documenting software architecture: Views and beyond, SEI Series in Software Engineering, Pearson Education , Inc. , Boston, MA , 2003 . Paul Clements, Felix Bachmann, Len Bass, David Garlan, James Ives, Reed Little, Robert Nord, and Judith Stafford, Documenting software architecture: Views and beyond, SEI Series in Software Engineering, Pearson Education, Inc., Boston, MA, 2003."},{"key":"e_1_3_2_1_6_1","volume-title":"Aadl user days website, https:\/\/wiki.sei.cmu.edu\/aadl\/index.php\/AADL_User_Days","author":"AADL Standard Committee","year":"2014","unstructured":"AADL Standard Committee , Aadl user days website, https:\/\/wiki.sei.cmu.edu\/aadl\/index.php\/AADL_User_Days , 2014 . AADL Standard Committee, Aadl user days website, https:\/\/wiki.sei.cmu.edu\/aadl\/index.php\/AADL_User_Days, 2014."},{"key":"e_1_3_2_1_7_1","volume-title":"Model-based engineering with AADL: An introduction to the SAE architecture analysis & design language","author":"Feiler Peter","year":"2012","unstructured":"Peter Feiler and David Gluch , Model-based engineering with AADL: An introduction to the SAE architecture analysis & design language , Addison-Wesley , 2012 . Peter Feiler and David Gluch, Model-based engineering with AADL: An introduction to the SAE architecture analysis & design language, Addison-Wesley, 2012."},{"key":"e_1_3_2_1_8_1","volume-title":"Tech","author":"Feiler Peter","year":"2009","unstructured":"Peter Feiler , J\u00f6rgen Hansson , Dionisio de Niz , and Lutz Wrage , System architecture virtual integration: An industrial case study , Tech . Report Carnegie Mellon University\/SEI- 2009 -TR-017, SEI, Carnegie Mellon University , 2009. Peter Feiler, J\u00f6rgen Hansson, Dionisio de Niz, and Lutz Wrage, System architecture virtual integration: An industrial case study, Tech. Report Carnegie Mellon University\/SEI-2009-TR-017, SEI, Carnegie Mellon University, 2009."},{"key":"e_1_3_2_1_9_1","first-page":"171","volume-title":"A Classical Mind, Essays in Honour of C.A.R. Hoare","author":"He Jifeng","year":"1994","unstructured":"Jifeng He , From CSP to hybrid systems , A Classical Mind, Essays in Honour of C.A.R. Hoare , Prentice Hall International (UK) Ltd ., pp. 171 -- 189 , 1994 . Jifeng He, From CSP to hybrid systems, A Classical Mind, Essays in Honour of C.A.R. Hoare, Prentice Hall International (UK) Ltd., pp. 171--189, 1994."},{"key":"e_1_3_2_1_10_1","volume-title":"ICSE'13","author":"Heimdahl Mats","year":"2013","unstructured":"Mats Heimdahl , Lian Duan , Anitha Murugesan , and Sanjai Rayadurgam , Modeling and requirements on the physical side of cyber-physical systems, Second International Wokshop on the Twin Peaks of Requirements and Architecture , ICSE'13 , IEEE, 2013 . Mats Heimdahl, Lian Duan, Anitha Murugesan, and Sanjai Rayadurgam, Modeling and requirements on the physical side of cyber-physical systems, Second International Wokshop on the Twin Peaks of Requirements and Architecture, ICSE'13, IEEE, 2013."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_1"},{"key":"e_1_3_2_1_12_1","volume-title":"Annex e: Error model annex","author":"International SAE","year":"2006","unstructured":"SAE International , Architecture analysis & design language (AADL) annex volume 1 : Annex e: Error model annex , 2006 . SAE International, Architecture analysis & design language (AADL) annex volume 1: Annex e: Error model annex, 2006."},{"key":"e_1_3_2_1_13_1","volume-title":"Annex d: behavior model annex","author":"International SAE","year":"2011","unstructured":"SAE International , Architecture analysis & design language (AADL) annex volume 2 : Annex d: behavior model annex , 2011 . SAE International, Architecture analysis & design language (AADL) annex volume 2: Annex d: behavior model annex, 2011."},{"key":"e_1_3_2_1_14_1","volume-title":"Annex b: data modeling annex","author":"International SAE","year":"2011","unstructured":"SAE International , Architecture analysis & design language (AADL) annex volume 2 : Annex b: data modeling annex , 2011 . SAE International, Architecture analysis & design language (AADL) annex volume 2: Annex b: data modeling annex, 2011."},{"key":"e_1_3_2_1_15_1","volume-title":"Annex f: arinc653 annex","author":"International SAE","year":"2011","unstructured":"SAE International , Architecture analysis & design language (AADL) annex volume 2 : Annex f: arinc653 annex , 2011 . SAE International, Architecture analysis & design language (AADL) annex volume 2: Annex f: arinc653 annex, 2011."},{"key":"e_1_3_2_1_16_1","volume-title":"SAE as5506b, architecture analysis & design language (AADL)","author":"International SAE","year":"2012","unstructured":"SAE International , SAE as5506b, architecture analysis & design language (AADL) , 2012 . SAE International, SAE as5506b, architecture analysis & design language (AADL), 2012."},{"key":"e_1_3_2_1_17_1","volume-title":"Behavior Language for Embedded Systems with Software: Language Reference Manual, info.santoslab.org\/research\/aadl\/bless","author":"Larson Brian R.","year":"2014","unstructured":"Brian R. Larson , Behavior Language for Embedded Systems with Software: Language Reference Manual, info.santoslab.org\/research\/aadl\/bless , 2014 . Brian R. Larson, Behavior Language for Embedded Systems with Software: Language Reference Manual, info.santoslab.org\/research\/aadl\/bless, 2014."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/978-3-642-38088-4_19","volume-title":"NASA Formal Methods, LNCS","author":"Larson Brian R.","year":"2013","unstructured":"Brian R. Larson , Patrice Chalin , and John Hatcliff , BLESS: Formal specification and verification of behaviors for embedded systems with software , NASA Formal Methods, LNCS , vol. 7871 , Springer Berlin Heidelberg , pp. 276 -- 290 , 2013 . Brian R. Larson, Patrice Chalin, and John Hatcliff, BLESS: Formal specification and verification of behaviors for embedded systems with software, NASA Formal Methods, LNCS, vol. 7871, Springer Berlin Heidelberg, pp. 276--290, 2013."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2527269.2527271"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/619055.621550"},{"key":"e_1_3_2_1_22_1","volume-title":"Engineering a safer world","author":"Levenson Nancy","year":"2011","unstructured":"Nancy Levenson , Engineering a safer world , MIT Press , Cambridge, MA , 2011 . Nancy Levenson, Engineering a safer world, MIT Press, Cambridge, MA, 2011."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2532443.2532473"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39721-9_5"},{"key":"e_1_3_2_1_25_1","first-page":"92","volume-title":"Proceedings of the 8th International Conference on Autonomic and Trusted Computing","author":"Zhang Yu","year":"2011","unstructured":"Yu Zhang , Yunwei Dong , Fan Zhang , and Yunfeng Zhang , Research on modeling and analysis of cps , Proceedings of the 8th International Conference on Autonomic and Trusted Computing ( Berlin, Heidelberg), ATC'11, Springer-Verlag , pp. 92 -- 105 , 2011 . Yu Zhang, Yunwei Dong, Fan Zhang, and Yunfeng Zhang, Research on modeling and analysis of cps, Proceedings of the 8th International Conference on Autonomic and Trusted Computing (Berlin, Heidelberg), ATC'11, Springer-Verlag, pp. 92--105, 2011."},{"key":"e_1_3_2_1_26_1","first-page":"511","volume-title":"LNCS","volume":"1066","author":"Zhou Chaochen","year":"1996","unstructured":"Chaochen Zhou , Ji Wang , and Anders P . Ravn, A formal description of hybrid systems, Hybrid systems , LNCS , vol. 1066 , pp. 511 -- 530 , 1996 . Chaochen Zhou, Ji Wang, and Anders P. Ravn, A formal description of hybrid systems, Hybrid systems, LNCS, vol. 1066, pp. 511--530, 1996."},{"key":"e_1_3_2_1_27_1","first-page":"262","volume-title":"LNCS","volume":"8164","author":"Zou Liang","year":"2013","unstructured":"Liang Zou , Jidong Lv , Shuling Wang , Naijun Zhan , Tao Tang , Lei Yuan , and Yu Liu , Verifying chinese train control system under a combined scenario by theorem proving, VSTTE , LNCS , vol. 8164 , pp. 262 -- 280 , 2013 . Liang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, and Yu Liu, Verifying chinese train control system under a combined scenario by theorem proving, VSTTE, LNCS, vol. 8164, pp. 262--280, 2013."}],"event":{"name":"HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference","location":"Portland Oregon USA","acronym":"HILT '14","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663178","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2663171.2663178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:47Z","timestamp":1750212827000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663178"}},"subtitle":["an AADL extension for continuous behavior and cyber-physical interaction modeling"],"short-title":[],"issued":{"date-parts":[[2014,10,18]]},"references-count":26,"alternative-id":["10.1145\/2663171.2663178","10.1145\/2663171"],"URL":"https:\/\/doi.org\/10.1145\/2663171.2663178","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2692956.2663178","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,10,18]]},"assertion":[{"value":"2014-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}