An architecture and methodology for the design and development of Technical Information Systems

In order to meet demands in the context of Technical Information Systems (TIS) pertaining to reliability, extensibility, maintainability, etc., we have developed an architectural framework with accompanying methodological guidelines for designing such systems. With the framework, we aim at complex multiapplication information systems using a repository to share data among applications. The framework proposes to keep a strict separation between Man-Machine-Interface and Model data, and provides design and implementation support to do this effectively.\ud The framework and methodological guidelines have been developed in the context of the ESPRIT project IMPRESS. The project also provided for ldquotesting groundsrdquo in the form of a TIS for the Spanish Electricity company Iberdrola.\ud This work has been conducted within the ESPRIT project IMPRESS (Integrated, Multi-Paradigm, Reliable and Extensible Storage System), ESPRIT No. 635

Mission and Safety Critical (MASC): An EVACS simulation with nested transactions

The Extra-Vehicular Activity Control System (EVACS) Simulation with Nested Transactions, a recent effort of the MISSION Kernel Team, is documented. The EVACS simulation is a simulation of some aspects of the Extra-Vehicular Activity Control System, in particular, just the selection of communication frequencies. The simulation is a tool to explore mission and safety critical (MASC) applications. For the purpose of this effort, its current definition is quite narrow serving only as a starting point for prototyping purposes. (Note that EVACS itself has been supplanted in a larger scenario of a lunar outpost with astronauts and a lunar rover). The frequency selection scenario was modified to embed its processing in nested transactions. Again as a first step, only two aspects of transaction support were implemented in this prototype: architecture and state recovery. Issues of concurrency and distribution are yet to be addressed

An Application Framework for Distributed Multimedia System Development

[[abstract]]In this paper, a distributed multimedia application framework is proposed. The framework is based on Model-View-Controller of Smalltalk-80. Multimedia applications are developing as a popular. However, development of highly interactive multimedia applications for today’s high-powered computer is complex and time consuming. An application framework is typically composed of mixture of abstract and concrete classes along with a model of interaction and control flow among the classes. The application framework has “hooks” to allow an application programmer to plug in objects that represent the functionality unique to this application. The distributed processing of multimedia information enables advanced application areas like video conferencing, video on demand and improves the performance in other areas. Thus, it is necessary that an application framework be built for distributed multimedia.[[notice]]補正完

Balanced Abstract Web-MVC Style: An Abstract MVC Implementation for Web-based Applications

The features and the capabilities of web applicationsare growing rapidly, and the complexities and difficulties ofweb applications engineering are also growing in parallel. Ifthe architectural formalism of these advanced web applicationsis well realized, the complexities could be understood, thus thedifficulties could be reduced. Model-View-Controller (MVC)has been recognized as a well-formed architectural style, andhas been widely used in web applications engineering invarious forms of implementations. These MVCimplementations are heavily dependent on specific set oftechnologies and/or some other facts; hence, they do notprovide an abstract realization to be used in a wider range ofweb application engineering. We propose an implementation ofMVC in more abstract form, which – we think – will increasethe realization of the advanced web applications, thus lower theengineering complexities and difficulties of web applications.We believe that this implementation is more applicable in awider range of environments and technologies, and will upturnthe architectural properties like performance andmodifiability. Based on this implementation we introduce anMVC based architectural style for web applications. In future,we expect to improve this further towards supporting RichInternet Applications

Cost-efficient design and production of flexible and re-usable near real-time tactical human-machine interfaces

International audienceMaking complex systems accessible to human operators supposes to design HMIs that provide the operator with means to manage the complexity in an efficient manner. This is particularly true in the aeronautics domain for tactical HMIs where complexity is present in many dimensions. Current technical requirements, such as being able to display thousands of objects updated on the basis of time intervals inferior to half a second, coupled with economic requirements such as manning and cost reductions, make this issue even more crucial. We present our approach to the design and production of near real-time tactical HMIs, that enables us to devise HMIs that meet such requirements while being flexible enough to be re- used in a wide variety of contexts and produced at a reasonable cost

The 14th Overture Workshop: Towards Analytical Tool Chains

This report contains the proceedings from the 14th Overture workshop organized in connection with the Formal Methods 2016 symposium. This includes nine papers describing different technological progress in relation to the Overture/VDM tool support and its connection with other tools such as Crescendo, Symphony, INTO-CPS, TASTE and ViennaTalk