The SAE Architecture Analysis & Design Language (AADL) A Standard for Engineering Performance Critical Systems

International audienceThe Society of Automotive Engineers (SAE) Architecture Analysis & Design Language, AS5506, provides a means for the formal specification of the hardware and software architecture of embedded computer systems and system of systems. It was designed to support a full Model Based Development lifecycle including system specification, analysis, system tuning, integration, and upgrade over the lifecycle. It was designed to support the integration of multiple forms of analyses and to be extensible in a standard way for additional analysis approaches. A system can be automatically integrated from AADL models when fully specified and when source code is provided for the software components. Analysis of large complex systems has been demonstrated in the avionics domain

Evaluating Software Architectures: Development Stability and Evolution

We survey seminal work on software architecture evaluationmethods. We then look at an emerging class of methodsthat explicates evaluating software architectures forstability and evolution. We define architectural stabilityand formulate the problem of evaluating software architecturesfor stability and evolution. We draw the attention onthe use of Architectures Description Languages (ADLs) forsupporting the evaluation of software architectures in generaland for architectural stability in specific

COMPARATIVE STUDY OF “BAI”AND “PUTIH”IN CHINESE AND INDONESIAN LANGUAGE BASED ON THESAURUS

Apart from phonetics, vocabulary, and pragmatics, grammar plays a significant role in the study of the second language. To be familiar with the second language, one must first understand the rules for the construction of sentences with target words. By reference to the word group of“white” in the thesaurus dictionary of 《Xiàndài hànyǔ fēnlèi cídiǎn》(Thesaurus of Modern Chinese)and Tesaurus Tematis Bahasa Indonesia (Thesaurus of Indonesian Language), this paper analyzed the constitutive classification of the word group of“white”, in the hope that it can be of reference value to the teaching of Chinese language and Indonesian language as a foreign language

Modélisation praxéologique des connaissances en biologie, pour réaliser un diagnostic automatique, de la conception de protocoles par les élèves, avec la plate-forme LabBook

International audienceCet article s’inscrit dans un travail de modélisation des connaissances pour effectuer un diagnostic automatique des erreurs dans une situation expérimentale en biologie, et plus précisément sur la mise en évidence de la fermentation alcoolique chez les levures. Le cadre théorique utilisé est celui de la Théorie Anthropologique du Didactique et plus spécifiquement dans l’approche praxéologique. Nous proposons un modèle de pré-structuration de protocole afin qu’il puisse être implémenté dans une plate-forme informatique de conception de protocoles expérimentaux, LabBook. La pré-structuration s’appuie sur une analyse épistémologique des connaissances et des difficultés relatives aux concepts liés à la fermentation alcoolique. Notre modélisation sera par la suite testée en classe de terminale scientifique de spécialité, afin d’anticiper un diagnostic des erreurs, qui sera réalisé dans un deuxième temps

Multi-Dimensional Model Based Engineering for Performance Critical Computer Systems Using the AADL

International audienceThe Architecture Analysis & Design Language, (AADL), Society of Automotive Engineers (SAE), AS5506, was developed to support quantitative analysis of the runtime architecture of the embedded software system in computer systems with multiple critical operational properties, such as responsiveness, safety-criticality, security, and reliability by allowing a model of the system to be annotated with information relevant to each of these quality concerns and AADL to be extended with analysis-specific properties. It supports modelling of the embedded software runtime architecture, the computer system hardware, and the interface to the physical environment of embedded computer systems and system of systems. It was designed to support a full Model Based Engineering lifecycle including system specification, analysis, system tuning, integration, and upgrade by supporting modelling and analysis at multiple levels of fidelity. A system can be automatically integrated from AADL models when fully specified and when source code is provided for the software components

Improvement of the system engineering and use of an architecture description language

International audienceThe embedded real-time systems are more and more complex, and the safety or reliability requirements are stronger and stronger. In this context, many projects are led to improve the development processes. They show that there is a need for a means to more formally describe the developed systems and share information during the whole development cycle. The use of an architecture description language (ADL) is a good solution. It enables easy communications between different teams, tools, methods. AADL (Avionics Architecture Description Language) is an ADL dedicated to the description of avionics, and more generally all the embedded real-time systems. It is based on MetaH, developed since 1991 in the United-States, and its international standardisation is in progress under the authority of the SAE (Society of Automotive Engineers). AADL has been evaluated in the space domain; it appears that it is an interesting ADL to support the future development processes, because of its strong semantics and its flexibility. With the use of more formal approaches, the objective of the future development processes may be the proof-based system engineering. This provides many advantages: no break from the capture of the need to the validation of the system, early detection of the problems, proofs of the correctness, reduction of the test effort, possible automatic generation... The automotive domain has also the same objective as the aerospace industry, as illustrated by the EEA project, and its AIL-transport architecture description language. It should be profitable to compare the practices of these different domains which could mutually fertilize themselves

To set up pedagogical experiments in a virtual lab: methodology and first results

This paper concerns a methodology for setting up web based experiments by distinguishing two perspectives: the learning perspective (which tasks will be scheduled for pupils and tutors, how they are planned and what learning objectives they may attempt), and separately, the experiment perspective (how teachers or researchers may use trails of this experiment, the first to improve their teaching, the last to various research objectives). The both are described by computable “scenarios” expressed with an educational modeling language, Learning Design Language (LDL). Scenarios are then implemented on a platform (LearningLab platform) to be played by pupils and tutors and further analyzed by exploiting trails of each run