{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:33:24Z","timestamp":1725626004337},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/sies.2007.4297342","type":"proceedings-article","created":{"date-parts":[[2007,9,6]],"date-time":"2007-09-06T16:58:04Z","timestamp":1189097884000},"page":"250-257","source":"Crossref","is-referenced-by-count":8,"title":["A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661"],"prefix":"10.1109","author":[{"given":"Eric","family":"Barboni","sequence":"first","affiliation":[]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"Sandra","family":"Basnyat","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Design Patterns: Elements of Reusable Object-Oriented Software Addison Welsey #63361","year":"1994","author":"e","key":"ref10"},{"journal-title":"Gram Christian Cockton Gilbert Editors Design principles for interactive software Chapman et Hall ed 1995","year":"0","key":"ref11"},{"key":"ref12","first-page":"3","article-title":"Predicate\/Transitions Nets. High-Levels Petri Nets: Theory and Application","author":"h j","year":"1991"},{"journal-title":"International Civil Aviation Organization DOC 4444 PANS\/RAC","article-title":"ICAO, Guidance Material on CNS\/ATM Operations in the Asia\/Pacific Region","year":"1991","key":"ref13"},{"key":"ref14","first-page":"585","article-title":"Modelling and Control with Modules of Signal Nets","author":"\u00e1s gabriel","year":"0","journal-title":"in proceedings of 24th International Conference on Applications and Theory of Petri Nets ICATPN'2003"},{"key":"ref15","first-page":"91","article-title":"Language for Object-Oriented Petri Nets","author":"c","year":"1991"},{"key":"ref16","first-page":"101","article-title":"Kraiss K-F. Advanced Flight Management System: A New Design and Evaluation Results. In proceedings of HCI Aero","author":"j","year":"2000"},{"key":"ref17","article-title":"Structuring Interactive Systems Specifications for Executability and Prototypability","author":"david","year":"0","journal-title":"7th Eurographics Workshop on Design Specification and Verification of Interactive Systems DSV-IS'2000"},{"journal-title":"Contribution a l 'ing énierie en Interaction Homme Machine - Une technique de description formelle et un environnement pour une modélisation et une exploitation synergiques des t âches et du syst Ä","year":"2001","author":"d","key":"ref18"},{"key":"ref19","first-page":"23","article-title":"mi. Reconciling Safety and Usability Concerns through Formal Specification-based Development Process HCI-Aero'02 MIT","author":"david","year":"2002"},{"key":"ref4","article-title":"Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification","author":"barboni","year":"2006","journal-title":"LNCS"},{"key":"ref3","article-title":"A Model-Based Tool for the Formal Modelling and Simulation of Interactive Safety Critical Embedded Systems","author":"barboni","year":"2006","journal-title":"Proceedings of HCI aero conference (Demonstration) (HCI Aero 2006)"},{"key":"ref6","article-title":"Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems","author":"r \u00e9mi","year":"1998","journal-title":"in 5th Eurographics Workshop on Design Specification and Verification of Interactive Systems DSV-IS'98 Abingdon"},{"key":"ref5","first-page":"20","article-title":"A Petri Net Based Environment for the Design of Event-Driven Interfaces","author":"r","year":"1995","journal-title":"16th International Conference on Application and Theory of Petri Nets"},{"article-title":"Petri Net Based Behavioural Specification of CORBA Systems. International Conference on Application and Theory of Petri nets ATPN'99","year":"1999","author":"r","key":"ref8"},{"key":"ref7","article-title":"Supporting INTUITION through formal specification of the User Interface for military aircraft cockpit","author":"r","year":"2005","journal-title":"procedings of HCI International 2005"},{"article-title":"Exploitation of Formal Specification Techniques for ARINC 661 Interactive Cockpit Applications. Proceedings of HCI aero conference, (HCI Aero 2006)","year":"2006","author":"e","key":"ref2"},{"key":"ref9","first-page":"107","article-title":"Advanced Graphical User Interface for Next Generation Flight Management Systems. In proceedings of HCI Aero","author":"r","year":"2000"},{"journal-title":"ARINC ARINC 661 specification Cockpit Display System Interfaces To User Systems Prepared by AIRLINES ELECTRONIC ENGINEERING COMMITTEE Published by AERONAUTICAL RADIO INC","year":"2002","key":"ref1"},{"journal-title":"OMG The Common Object Request Broker Architecture and Specification In CORBA IIOP 2 2 Framingham","year":"1998","key":"ref20"},{"journal-title":"User Interface Management Systems Eurographics Seminar Seeheim","year":"1983","key":"ref22"},{"key":"ref21","article-title":"Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification","author":"p","year":"2006","journal-title":"Ninth International Conference on Space Operations"},{"journal-title":"Shneidermann B Direct manipulation a step beyond programming languages Computer 16","first-page":"57","year":"1983","key":"ref24"},{"key":"ref23","first-page":"180","article-title":"When Does the MCDU Interface Work Well? Lessons Learned for the Design of New Flightdeck User-Interface","author":"l","year":"2002","journal-title":"proceedings of HCIAero"},{"key":"ref26","article-title":"Petri Nets as Token Objects: an Introduction to Elementary Object Nets","author":"r","year":"1998","journal-title":"19th International Conference on Application and Theory of Petri Nets ICATPN'98 Lissabon Portugal June 1998"},{"journal-title":"PetShop a CASE Tool for the Petri Net Based Specification and Prototyping of CORBA Systems 20th International Conference on Applications and Theory of Petri Nets ICATPN'99","year":"0","author":"ousmane","key":"ref25"}],"event":{"name":"2007 International Symposium on Industrial Embedded Systems","start":{"date-parts":[[2007,7,4]]},"location":"Costa da Caparica, Portugal","end":{"date-parts":[[2007,7,6]]}},"container-title":["2007 International Symposium on Industrial Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4297296\/4297297\/04297342.pdf?arnumber=4297342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T20:58:08Z","timestamp":1489611488000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4297342\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/sies.2007.4297342","relation":{},"subject":[],"published":{"date-parts":[[2007,7]]}}}