Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components

International audienceWhilst task models are perceived as critical artifacts within User Centered Design methods, task models development is often considered as a resource and time consuming activity. Structuring techniques can support handling issues such as reuse and scalability and can improve analysts’ productivity and the overall quality of models. In this paper we propose (based on the notation of the HAMSTERS project) several means to structure task models and present how they can be used in order to increase reusability and scalability in task models. Besides sub-models and sub-routines, generic components are described. These mechanisms are duly illustrated within a project for the ground segments of satellite missions. This paper shows, by example, how such elements look like and how both readability and quality of models is improved by their use

Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

International audienceThe purpose of ARINC 661 specification [1] is to define interfaces to a Cockpit Display System (CDS) used in any types of aircraft installations. ARINC 661 provides precise information for communication protocol between application (called User Applications) and user interface components (called widgets) as well as precise information about the widgets themselves. However, in ARINC 661, no information is given about the behaviour of these widgets and about the behaviour of an application made up of a set of such widgets. This paper presents the results of the application of a formal description technique to the various elements of ARINC 661 specification within an industrial project. This formal description technique called Interactive Cooperative Objects defines in a precise and non-ambiguous way all the elements of ARINC 661 specification. The application of the formal description techniques is shown on an interactive application called MPIA (Multi Purpose Interactive Application). Within this application, we present how ICO are used for describing interactive widgets, User Applications and User Interface servers (in charge of interaction techniques). The emphasis is put on the model-based management of the feel of the applications allowing rapid prototyping of the external presentation and the interaction techniques. Lastly, we present the CASE (Computer Aided Software Engineering) tool supporting the formal description technique and its new extensions in order to deal with large scale applications as the ones targeted at by ARINC 661 specification

Anchoring of proteins to lactic acid bacteria

The anchoring of proteins to the cell surface of lactic acid bacteria (LAB) using genetic techniques is an exciting and emerging research area that holds great promise for a wide variety of biotechnological applications. This paper reviews five different types of anchoring domains that have been explored for their efficiency in attaching hybrid proteins to the cell membrane or cell wall of LAB. The most exploited anchoring regions are those with the LPXTG box that bind the proteins in a covalent way to the cell wall. In recent years, two new modes of cell wall protein anchoring have been studied and these may provide new approaches in surface display. The important progress that is being made with cell surface display of chimaeric proteins in the areas of vaccine development and enzyme- or whole-cell immobilisation is highlighted.

ISML: an interface specification meta-language

In this paper we present an abstract metaphor model situated within a model-based user interface framework. The inclusion of metaphors in graphical user interfaces is a well established, but mostly craft-based strategy to design. A substantial body of notations and tools can be found within the model-based user interface design literature, however an explicit treatment of metaphor and its mappings to other design views has yet to be addressed. We introduce the Interface Specification Meta-Language (ISML) framework and demonstrate its use in comparing the semantic and syntactic features of an interactive system. Challenges facing this research are outlined and further work proposed

Supporting resource-based analysis of task information needs

We investigate here an approach to modelling the dynamic information requirements of a user performing a number of tasks, addressing both the provision and representation of information, viewing the information as being distributed across a set of resources. From knowledge of available resources at the user interface, and task information needs we can identify whether the system provides the user with adequate support for task execution. We look at how we can use tools to help reason about these issues, and illustrate their use through an example.We also consider a full range of analyses suggested using this approach which could potentially be supported by automated reasoning systems.(undefined

The APEX framework: prototyping of ubiquitous environments based on Petri Nets

The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anticipate potential user problems, and to reduce the cost of redesign. However, the development of early prototypes to be evaluated in the target environment can be disruptive to the ongoing system and therefore unacceptable. This paper reports on an ongoing effort to explore how model-based rapid prototyping of ubiquitous environments might be used to avoid actual deployment while still enabling users to interact with a representation of the system. The paper describes APEX, a framework that brings together an existing 3D Application Server with CPN Tools. APEX-based prototypes enable users to navigate a virtual world simulation of the envisaged ubiquitous environment. The APEX architecture and the proposed CPN-based modelling approach are described. An example illustrates their use.Fundação para a Ciência e a Tecnologia (FCT) - bolsa de doutoramento SFRH/BD/41179/200

Mars Sample Return: The Value of Depth Profiles

Sample return from Mars offers the promise of data from Martian materials that have previously only been available from meteorites. Return of carefully selected samples may yield more information about the history of water and possible habitability through Martian history. Here we propose that samples collected from Mars should include depth profiles of material across the interface between weathered material on the surface of Mars into unweathered parent rock material. Such profiles have the potential to yield chemical kinetic data that can be used to estimate the duration of water and information about potential habitats on Mars

Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web

Critical human-machine interfaces are present in many systems including avionics systems and medical devices. Use error is a concern in these systems both in terms of hardware panels and input devices, and the software that drives the interfaces. Guaranteeing safe usability, in terms of buttons, knobs and displays is now a key element in the overall safety of the system. New integrated development environments (IDEs) based on formal methods technologies have been developed by the research community to support the design and analysis of high-confidence human-machine interfaces. To date, little work has focused on the comparison of these particular types of formal IDEs. This paper compares and evaluates two state-of-the-art toolkits: CIRCUS, a model-based development and analysis tool based on Petri net extensions, and PVSio-web, a prototyping toolkit based on the PVS theorem proving system.This work is partially supported by: Project NORTE-01-0145-FEDER-000016, financed by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF); Conselho Nacional de Desenvolvimento Cientifico e Tecnologico (CNPq) PhD scholarship

Identification of sortase A (SrtA) substrates in Streptococcus uberis: evidence for an additional hexapeptide (LPXXXD) sorting motif

Sortase (a transamidase) has been shown to be responsible for the covalent attachment of proteins to the bacterial cell wall. Anchoring is effected on secreted proteins containing a specific cell wall motif toward their C-terminus; that for sortase A (SrtA) in Gram-positive bacteria often incorporates the sequence LPXTG. Such surface proteins are often characterized as virulence determinants and play important roles during the establishment and persistence of infection. Intramammary infection with Streptococcus uberis is a common cause of bovine mastitis, which impacts on animal health and welfare and the economics of milk production. Comparison of stringently produced cell wall fractions from S. uberis and an isogenic mutant strain lacking SrtA permitted identification of 9 proteins likely to be covalently anchored at the cell surface. Analysis of these sequences implied the presence of two anchoring motifs for S. uberis, the classical LPXTG motif and an additional LPXXXD motif