Improving Modularity of Interactive Software with the MDPC Architecture Stéphane Conversy, Eric Barboni, David Navarre, Philippe Palanque

Total Page:16

File Type:pdf, Size:1020Kb

Improving Modularity of Interactive Software with the MDPC Architecture Stéphane Conversy, Eric Barboni, David Navarre, Philippe Palanque Improving modularity of interactive software with the MDPC Architecture Stéphane Conversy, Eric Barboni, David Navarre, Philippe Palanque To cite this version: Stéphane Conversy, Eric Barboni, David Navarre, Philippe Palanque. Improving modularity of in- teractive software with the MDPC Architecture. EIS 2007, Engineering Interactive Systems Joint Working Conference, Mar 2007, Salamanca, Spain. pp 321-338, 10.1007/978-3-540-92698-6. hal- 01021985 HAL Id: hal-01021985 https://hal-enac.archives-ouvertes.fr/hal-01021985 Submitted on 4 Sep 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Improving modularity of interactive software with the MDPC architecture Stéphane Conversy1,2, Eric Barboni2, David Navarre2 & Philippe Palanque 2 1 ENAC – Ecole Nationale de l’Aviation Civile 7, avenue Edouard Belin, 31055 Toulouse, France. [email protected] 2 LIIHS – IRIT, Université Paul Sabatier 118 route de Narbonne, 31062 Toulouse Cedex 4, France {barboni, conversy, navarre, palanque}@irit.fr http://liihs.irit.fr/{barboni, navarre, palanque} Abstract. The “Model - Display view - Picking view - Controller” model is a refinement of the MVC architecture. It introduces the “Picking View” component, which offloads the need from the controller to analytically compute the picked element. We describe how using the MPDC architecture leads to benefits in terms of modularity and descriptive ability when implementing interactive components. We report on the use of the MDPC architecture in a real application: we effectively measured gains in controller code, which is simpler and more focused. Keywords: MVC, interactive software, modularity, Model Driven Architecture 1 Introduction Modularity is an aspect of software engineering that helps improve quality and safety of software: once designed, implemented, and verified, modular components can be reused in multiple software so that such software can rely on their soundness. The advent of rich interaction on the web, and the advent of WIMP interaction in airplane cockpits [1][2] raise interest in interactive software architecture. The need to use, develop, and extend toolkits for interaction makes programmers eager to study this area. Similarly, a number of widgets have been formally described, so as to comply with important properties of interactive systems [14]. As a toolkit programmer point of view, reusing these components would ensure that his particular implementation complies with the same properties. Separation of concerns is a design principle that can help to achieve modularity: the idea is to break a problem into separate sub-problems and design software components that would handle each sub-problem. The Model-View-Controller (MVC) architecture is a well-known attempt to improve modularity of software [18] through separation of concerns (cf Fig. 1). In MVC, the Model encapsulates the data to be interacted with, the View implements the graphical representation and is updated when the Model changes, and the Controller translates actions from the user to operations on the Model. MVC has been successfully applied to high-level interactive components, though in this form it resembles more to the PAC architecture than its original description [6]. For example, frameworks to help develop interactive application, such as Microsoft MFC, organize the data structure in a document, and views on the document that are updated when the document changes. When applied to very low-level interactive components though, such as scrollbars, programmers encounter difficulties to clearly modularize the components so that the original goal of reusing components is reached: the View and the Controller components of the widget are so tightly coupled that it seems useless and a waste of time to separate them, as they cannot be reused for other interactive widgets1. Fig. 1: MVC: The controller queries the view to know which part of the view has been clicked in order to react accordingly. We argue in this paper that by externalizing the picking concern from the Controller, we can actually modularize a set of interactive widgets so that the Controller can be reused across different classes of Views of the same model. We first present the causes of the problem mentioned above. We then introduce the Model – Display view – Picking view – Controller (MDPC) architecture, and show with examples how to use it. We then report our experience at refactoring a real application with the MDPC model. 2 The need to externalize Picking At its lowest level, today's interactions usually involve a rasterized image (i.e. a digital/sampled/pixel-based image) and a pointer that the user controls to point at a given pixel. Rendering is the process of transforming a logical description or the conceptual model of an interactive component to a graphical representation or a perceptual model. Picking can be considered as the inverse process of rendering: 1 As stated by the designers of JAVA Swing: “We quickly discovered that this split didn't work well in practical terms because the view and controller parts of a component required a tight coupling (for example, it was very difficult to write a generic controller that didn't know specifics about the view). So we collapsed these two entities into a single UI (user-interface) object […]”.http://java.sun.com/products/jfc/tsc/articles/architecture/#roots Picking is the process of determining/querying the graphical primitives that colored/filled a given pixel, and in turn the corresponding conceptual entity. Usually, interactive systems use the pixel underlying the cursor, in order to react when the user clicks on an interactive component. Picking is also used during passive movements, for example to determine when the cursor enters an interactive component so as to highlight it. trough thumb arrow Fig. 2: a scrollbar and its parts For the remaining of this section, we take the scrollbar as an example (Fig. 2). A scrollbar is an instrument that enables a user to specify the location of a range by direct manipulation. For example, the user can use a scrollbar to modify the position of the view of a document too large to be displayed at once. Conceptually, a scrollbar is composed of four parts: a thumb to control the position of a range of values, a trough in which the user can drag the thumb, i.e. the position of the thumb is constrained inside the trough, and two arrows for decrementing/incrementing the position of the thumb by a fixed amount. if( (event.y > y_up_widget) and (event.y < y_bottom_widget) { // test if it is in the widget if (event.y < y_up_widget+harrow) { // scroll down by one line ... } else if (event.y<ythumb) { // scroll down by one viewing area } else //...and so on Fig. 3: An example of code using analytic picking In the original form of MVC, the Controller usually handles picking by receiving low-level events such as mouse clicks or mouse moves. For example, if the user clicks in the image of a scrollbar for a text editor document, the Controller computes which part of the view has been clicked on, and calls a particular method of the Model with a computed parameter: if the part is one of the arrows, the Controller sets the Model's value by decreasing or increasing it by an amount equivalent to that of one line. If the part is the space between the thumb and the arrows, the amount is equivalent to that of one viewing area. In order to determine the part that has been clicked on, the Controller must know the layout of the widget parts, i.e the location of parts that are displayed on the screen [15]. For example, with a vertical scrollbar, if the upper ordinate of the widget is ywidget, the height of an arrow is harrow, and the upper ordinate of the thumb is ythumb, a Controller can determine which part has been clicked on by using the code in Fig. 3. The code is embedded into the method that reacts to the click on the view. This prevents modularization of the controller: it is specially designed for one particular view, even if some of the values can be parameterized, such as the location of the whole widget. In particular, the relative layout of the different parts of the widget is often hard-coded, and is not a parameter of the widget. In fact, most interactive widgets are structured around parts that embody a spatial mode of interaction i.e. a same event in two different parts lead to two different behaviors of the widget. For example, clicking in an arrow triggers a different action than the one corresponding to clicking in the thumb. In a part, the action triggered by an event is the same regardless of the parameters of the event. Only the parameters of the action may depend on the dimensions of the event. What is important then to implement part-dependant code, is not the low level parameters of events such as the x and y coordinates, but the part on which the event took place. Thus, the Controller behavior must be dependant on parts below the cursor, and not the cursor’s x and y position, so that the code that describes it would resemble to code in Fig. 4. if( isin(event, scrollbar)) { // test if it is in the widget if (isin(event,uparrow)) { // scroll down by one line ... } else if (isin(event,thumb)) { // scroll down by one viewing area ..
Recommended publications
  • Table of Contents Welcome to the 37Th Digital Avionics Systems Conference
    Table of Contents Welcome to the 37th Digital Avionics Systems Conference .............................................................................................. 2 Conference Organizing Committee ................................................................................................................................... 3 Welcome to London, England, United Kingdom! ............................................................................................................. 3 Conference Sponsors ........................................................................................................................................................ 4 Corporate Sponsors .......................................................................................................................................................... 6 Media Sponsors ................................................................................................................................................................. 8 Welcome to London! ........................................................................................................................................................ 9 Walking directions to the London Cru Winery .................................................................................................................. 5 Public Transportation directions to the Medieval Banquet.............................................................................................. 5 37th DASC Week at a Glance ..........................................................................................................................................
    [Show full text]
  • A Design Rationale Environment for Argumentation, Modeling and Engineering Requirements C´Eliamartinie, Philippe Palanque, Marco Winckler, St´Ephaneconversy
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Scientific Publications of the University of Toulouse II Le Mirail DREAMER : a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements C´eliaMartinie, Philippe Palanque, Marco Winckler, St´ephaneConversy To cite this version: C´eliaMartinie, Philippe Palanque, Marco Winckler, St´ephane Conversy. DREAMER : a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements. SIGDOC 2010, 28th ACM international conference on Design of Communication, Sep 2010, S~aoCarlos- S~aoPaulo, Brazil. pp 73-80, 2010, <10.1145/1878450.1878463>. <hal-01022256> HAL Id: hal-01022256 https://hal-enac.archives-ouvertes.fr/hal-01022256 Submitted on 23 Jul 2014 HAL is a multi-disciplinary open access L'archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destin´eeau d´ep^otet `ala diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publi´esou non, lished or not. The documents may come from ´emanant des ´etablissements d'enseignement et de teaching and research institutions in France or recherche fran¸caisou ´etrangers,des laboratoires abroad, or from public or private research centers. publics ou priv´es. DREAMER: a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements Célia Martinie, Philippe Palanque, Stéphane Conversy Marco Winckler ENAC & IRIT ± University Paul Sabatier IRIT ± University Paul Sabatier 7, avenue Edouard Belin 118, route de Narbonne 31055 TOULOUSE Cedex 31062 Toulouse Cedex 9, France (+33) 562 174 019 (+33) 561 556 359 [email protected] {martinie, palanque, winckler}@irit.fr A BST R A C T critical systems.
    [Show full text]
  • Designing for Resilience to Hardware Failures in Interactive Systems: a Model and Simulation-Based Approach
    Reliability Engineering and System Safety 96 (2011) 38–52 Contents lists available at ScienceDirect Reliability Engineering and System Safety journal homepage: www.elsevier.com/locate/ress Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach David Navarre n, Philippe Palanque, Eric Barboni, Jean-Franc-ois Ladry, Ce´lia Martinie IRIT, University Paul Sabatier, 118 Route de Narbonne, 31062 Toulouse Cedex 9, France article info abstract The paper proposes a formal description technique and a supporting tool that provide a means to Keywords: handle both static and dynamic aspects of input and output device configurations and reconfigurations. Model-based approaches More precisely, in addition to the notation, the paper proposes an architecture for the management of ARINC 661 specification failure on input and output devices by means of reconfiguration of in/output device configuration and Formal description techniques interaction techniques. Such reconfiguration aims at allowing operators to continue interacting with Interactive software engineering the interactive system even though part of the hardware side of the user interface is failing. These types Interactive cockpits of problems arise in domains such as command and control systems where the operator is confronted with several display units. The contribution presented in the paper thus addresses usability issues (improving the ways in which operators can reach their goals while interacting with the system) by increasing the reliability of the system using diverse configuration both for input and output devices. & 2010 Elsevier Ltd. All rights reserved. 1. Introduction fault-tolerance, and possibly security), at the implementation level (support the process of going from the specification to the Command and control systems have to handle large amounts implementation of the configurations in a given system), and for of increasingly complex information.
    [Show full text]
  • Designing, Developing and Verifying Interactive Components Iteratively with Djnn
    Designing, developing and verifying interactive components iteratively with djnn Stephane´ Chatty Mathieu Magnaudet Daniel Prun Stephane´ Conversy Stephanie´ Rey Mathieu Poirier Universite´ de Toulouse - ENAC 7 av. Edouard Belin, 31055 Toulouse, France ffi[email protected] ABSTRACT However, with ongoing plans to introduce more modern user Introducing iterative user interface design methods into the interfaces in these safety critical settings, new questions ap- development processes of safety-critical software creates pear. Not only are the envisaged interactive components often technical and methodological challenges. This article de- more complex and more difficult to specify than their pre- scribes a new programming paradigm aimed at addressing decessors, there is also a trend toward interface customiza- some of these challenges: interaction-oriented programming. tion. Each aircraft or car manufacturer wants to have its In this paradigm any piece of software consists of a hierarchi- own distinctive signature, in terms of interaction and not only cal collection of components that can interact among them- graphical appearance. Consequently, they expect equipment selves and with their environment, and its execution con- providers to deliver products whose behavior and appearance sists in propagating activation through interactions between can be modified. This means that one cannot rely solely on components. We first describe the principles of interaction- industry standards that define interactive components, and oriented programming, and illustrate them by describing the that methods must be proposed for designing and develop- basic components provided by the djnn programming frame- ing custom components, usually as a collaboration between work to create interactive software. We then show how in- an equipement provider and an integrator.
    [Show full text]
  • Mastering the ARINC 661 Standard
    Mastering the ARINC 661 Standard By Yannick Lefebvre Any unauthorized review, use, disclosure or distribution is strictly prohibited ARINC 661 Workshop Table of Contents Abstract ............................................................................ 3 Introduction ....................................................................... 4 ARINC 661 Standard Overview .................................................................. 5 Architecture Overview ........................................................................ 5 The Cockpit Display System .................................................................. 6 Layers ........................................................................................... 7 Standard Widget Library ...................................................................... 8 User Applications ............................................................................ 11 Runtime Protocol Definition ............................................................... 12 Distributed Development Benefits .......................................... 13 Goals of ARINC 661 .......................................................................... 13 Certification .................................................................................. 13 Practical Real-world Considerations ........................................ 15 Implementing a subset of the standard .................................................. 15 Bandwidth and Performance ..............................................................
    [Show full text]
  • Update ARINC Specification 661: Cockpit Display
    Project Initiation/Modification proposal for the AEEC Date Proposed: April 14, 2020 ARINC Project Initiation/Modification (APIM) 1.0 Name of Proposed Project APIM 19-010A This APIM proposes development of two documents as follows: Supplement 9 to ARINC Specification 661 Part 1: Cockpit Display System Interfaces to User Systems - Avionics Interfaces, Basic Symbology, and Behavior Supplement 1 to ARINC Specification 661 Part 2: Cockpit Display System Interfaces to User Systems - User Interface Markup Language (UIML) for Graphical User Interfaces. 1.1 Name of Originator and/or Organization Cockpit Display Systems (CDS) Subcommittee 2.0 Subcommittee Assignment and Project Support 2.1 Suggested AEEC Group and Chairman Cockpit Display Systems (CDS) Subcommittee Co-Chairman: Brian Gilbert, The Boeing Company Co-Chairman: Sofyan Su, Airbus 2.2 Support for the activity (as verified) Organizations: Airbus, Boeing, Dassault Aviation, Ansys, TP Group plc, GE Aviation, Garmin, Honeywell, Presagis, Collins Aerospace, Thales AVS, Elbit Systems, US Army, Safran Aerosystems, Northrup Grumman. 2.3 Commitment for Drafting and Meeting Participation (as verified) Organizations: Airbus, Boeing, Dassault Aviation, Ansys, TP Group plc, GE Aviation, Garmin, Honeywell, Presagis, Collins Aerospace, Thales AVS, US Army, Safran Aerosystems. 2.4 Recommended Coordination with other groups The following AEEC Subcommittee activities are relevant to this topic: • SAI Subcommittee 3.0 Project Scope (why and when standard is needed) 3.1 Description Develop and maintain ARINC 661 flight deck display interface standards for new airplane development programs and for retrofit programs, including Airbus A380, A350, A400M, Boeing 787, 737 MAX, 777X, KC-46A, COMAC C919, Regional Aircraft, General Aviation (GA) and rotorcraft.
    [Show full text]
  • (12) United States Patent (10) Patent No.: US 7,798,417 B2 Snyder Et Al
    US007798417B2 (12) United States Patent (10) Patent No.: US 7,798,417 B2 Snyder et al. (45) Date of Patent: Sep. 21, 2010 (54) METHOD FOR DATA INTERCHANGE application No. 1 1/325,713, filed on Jan.5, 2006, now Pat. No. 7,118,040. (76) Inventors: David M. Snyder, 1110 Wenig Rd. NE., (60) Provisional application No. 60/294,375, filed on May Cedar Rapids, IA (US) 524.02: Bruce D. 30, 2001, provisional application No. 60/232,825, Melick, 4335 Cloverdale Rd. NE., Cedar filed on Sep. 15, 2000, provisional application No. Rapids, IA (US) 52411; Leslie D. 60/213.843, filed on Jun. 23, 2000, provisional appli Baych, 4315 Woodfield La. NE., Cedar cation No. 60/174.220, filed on Jan. 3, 2000, provi Rapids, IA (US) 524.02: Paul R. sional application No. 60/572,140, filed on May 18, Staman, 1600 G St., Amana, IA (US) 2004, provisional application No. 60/727,605, filed on 52203; Nicholas J. Peters, 3229 260' Oct. 18, 2005, provisional application No. 60/813,899, St., Williamsburg, IA (US) 52261; filed on Jun. 15, 2006, provisional application No. Gregory P. Probst, 531 Woodridge Ave., 60/834,523, filed on Aug. 1, 2006. Iowa City, IA (US) 5224.5 (51) Int. C. (*) Notice: Subject to any disclaimer, the term of this G06K 9/06 (2006.01) patent is extended or adjusted under 35 G06K 9/00 (2006.01) U.S.C. 154(b) by 390 days. (52) U.S. Cl. ....................................... 235/494; 235/487 (58) Field of Classification Search ................. 235/380, (21) Appl.
    [Show full text]
  • A Model-Based Testing Approach for Cockpit Display Systems of Avionics
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Open Repository and Bibliography - Luxembourg 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) A Model-based Testing Approach for Cockpit Display Systems of Avionics Muhammad Zohaib Iqbal∗†, Hassan Sartaj∗†, Muhammad Uzair Khan∗†, Fitash Ul Haq‡ and Ifrah Qaisar§ ∗Quest Lab, National University of Computer and Emerging Sciences † UAV Dependability Lab, National Center of Robotics and Automation (NCRA) FAST Foundation, Rohtas Road, G-9/4, Islamabad - 44000, Pakistan Email: {zohaib.iqbal,hassan.sartaj,uzair.khan}@questlab.pk ‡University of Luxembourg Luxembourg City, Luxembourg Email: fi[email protected] §National University of Computer and Emerging Sciences A.K. Brohi Road, H-11/4, Islamabad - 44000, Pakistan Email: [email protected] Abstract—Avionics are highly critical systems that require These CDS display information that is vital for the safe extensive testing governed by international safety standards. operation of an aircraft. This may include information coming Cockpit Display Systems (CDS) are an essential component of from different user applications, the flight management system, modern aircraft cockpits and display information from the user application (UA) using various widgets. A significant step in the flight control unit and the warnings generated by different testing of avionics is to evaluate whether these CDS are displaying hardware components. Testing that the information displayed the correct information. A common industrial practice is to on the CDS is correct is an important part of the overall testing manually test the information on these CDS by taking the aircraft activities of an aircraft.
    [Show full text]
  • Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
    Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661 N. K. Singh1, Y. Aït-Ameur1, D. Méry2, D. Navarre3, P. Palanque3, and M. Pantel1 1 INPT-ENSEEIHT / IRIT, University of Toulouse, France 2 LORIA,Université de Lorraine & Telecom Nancy, Nancy, France 3 IRIT, Université de Toulouse, Toulouse, France [email protected], [email protected], [email protected], [email protected], [email protected], [email protected] Abstract. This paper reports our experience for developing Human-Machine In- terface (HMI) complying with ARINC 661 specification standard for interactive cockpits applications using formal methods. This development is centered around our modelling language FLUID, which is formally defined in the FORMEDI- CIS4 project. FLUID contains essential features required for specifying HMI. For developing Multi-Purpose Interactive Applications (MPIA), we follow the following steps: an abstract model of MPIA is developed in the FLUID language; the MPIA FLUID model is used to produce an Event-B model for checking the functional behaviour, user interactions, safety properties, and interaction related to domain properties; the Event-B model is also used to check temporal proper- ties and possible scenario using the ProB model checker; and finally, the MPIA FLUID model is translated to Interactive Cooperative Objects (ICO) using Pet- Shop CASE tool to validate the dynamic behaviour, visual properties and task analysis. These steps rely on different tools to check internal consistency along with possible HMI properties. Finally, the formal development of MPIA case study using FLUID and diving into other formal techniques, demonstrates relia- bility, scalability and feasibility of our approach presented in the FORMEDICIS project.
    [Show full text]
  • Touchscreen Input for Cockpit Flight Displays
    Open Archive Toulouse Archive Ouverte OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible This is an author’s version published in: https://oatao.univ-toulouse.fr/24688 To cite this version: Cockburn, Andy and Gutwin, Carl and Palanque, Philippe and Deleris, Yannick and Trask, Catherine and Coveney, Ashley and Yung, Marcus and Maclean, Karon Turbulent Touch: Touchscreen Input for Cockpit Flight Displays. (2017) In: International Conference for Human-Computer Interaction (CHI 2017), 6 May 2017 - 9 May 2017 (Denver, Colorado, United States). Any correspondence concerning this service should be sent to the repository administrator: [email protected] Turbulent Touch: Touchscreen Input for Cockpit Displays Andy Cockburn1, Carl Gutwin2, Philippe Palanque3, Yannick Deleris4, Catherine Trask2, Ashley Coveney2, Marcus Yung2, Karon MacLean5 1 University of Canterbury, Christchurch, New Zealand, [email protected] 2 University of Saskatchewan, Saskatoon, Canada, [email protected] 3 Université Paul Sabatier, Toulouse 3, France, [email protected] 4 Airbus Operations, Toulouse, France, [email protected] 5 University of British Columbia, Vancouver, Canada, [email protected] ABSTRACT dials, keypads and wheels. While computer-based flight Touchscreen input in oc mmercial aircraft cockpits offers instrument displays are becoming increasingly prevalent potential advantages, including ease of use, modifiability, (i.e., the ‘glass cockpit’), these displays are almost and reduced weight. However, tolerance to turbulence is a exclusively used for data output, and user input to displayed challenge for their deployment. To better understand the objects is dependent on a separate indirect device.
    [Show full text]
  • Specification, Prototyping and Validation
    Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism Arnaud Hamon, Célia Martinie, Philippe Palanque, Eric Barboni, David Navarre, Adrienne Tankeu-Choitat To cite this version: Arnaud Hamon, Célia Martinie, Philippe Palanque, Eric Barboni, David Navarre, et al.. Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. hal-02189909 HAL Id: hal-02189909 https://hal.archives-ouvertes.fr/hal-02189909 Submitted on 20 Jul 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism Arnaud Hamon, Célia Martinie, Philippe Palanque, Eric Barboni, David Navarre, Adrienne Tankeu- Choitat ICS-IRIT University Paul Sabatier (Toulouse 3), 118, route de Narbonne, 31062 Toulouse Cedex 4, France {lastame}@irit.fr ABSTRACT several problems that have to be taken into account with The purpose of ARINC 661 specification is to define appropriate precautions. Questions such as: what kind of interfaces to a Cockpit Display System (CDS) which is used in interactive components should be used in a cockpit? How to many types of aircrafts cockpits such as A380 from Airbus, design such embedded interactive applications? What is the B787 from Boeing or Falcon 2000D from Dassault Aviation.
    [Show full text]
  • Safe and Optimal Techniques Enabling Recovery, Integrity, and Assurance
    NASA/CR201-22083 Safe and Optimal Techniques Enabling Recovery, Integrity, and Assurance Kit Y. Siu and Heber Herencia-Zapana General Electric Global Research Center, Niskayuna, New York Panagiotis Manolios Northeastern University, Boston, Massachusetts Michael Noorman and Richard Haadsma General Electric Aviation Systems, Grand Rapids, Michigan June 201 NASA STI Program . in Profile Since its founding, NASA has been dedicated to the x CONFERENCE PUBLICATION. advancement of aeronautics and space science. The Collected papers from scientific and NASA scientific and technical information (STI) technical conferences, symposia, seminars, program plays a key part in helping NASA maintain or other meetings sponsored or this important role. co-sponsored by NASA. The NASA STI program operates under the x SPECIAL PUBLICATION. Scientific, auspices of the Agency Chief Information Officer. technical, or historical information from It collects, organizes, provides for archiving, and NASA programs, projects, and missions, disseminates NASA’s STI. The NASA STI often concerned with subjects having program provides access to the NTRS Registered substantial public interest. and its public interface, the NASA Technical Reports Server, thus providing one of the largest x TECHNICAL TRANSLATION. collections of aeronautical and space science STI in English-language translations of foreign the world. Results are published in both non-NASA scientific and technical material pertinent to channels and by NASA in the NASA STI Report NASA’s mission. Series, which includes the following report types: Specialized services also include organizing and publishing research results, distributing x TECHNICAL PUBLICATION. Reports of specialized research announcements and feeds, completed research or a major significant phase providing information desk and personal search of research that present the results of NASA support, and enabling data exchange services.
    [Show full text]