Figure 1 - uploaded by Jean-paul Bodeveix
Content may be subject to copyright.
Source publication
In this paper, we give an evaluation of the AADL Behavioral Annex that is currently in a testing phase. The basis for this evaluation is found in the conclusions taken in the ArchiDyn project, which studied the application of AADL and its tools in the modeling of a flight control software. The Behavioral Annex and its features are presented, togeth...
Context in source publication
Context 1
... system architecture is described in AADL with an AADL Specification. Such a specification contains component declarations and has access to AADL Global Specifications – packages and property sets. Packages, much like in other languages, are global structures that organize component declarations in separate namespaces and may be accessed by other AADL specifications. The AADL syntax can be extended by annex libraries and annex subclauses. The annex libraries enable designers to create their own sublanguages, if necessary, and use them in annex subclauses inside component declarations. An AADL component is “some hardware or software entity that is part of a system being modeled in AADL” [6]. An AADL component is usually declared in two parts: a type specification, which describes the component’s interface, and one or more implementation specifications, that represent internal aspects of a component. Most component types contain feature declarations. Features represent the points of communication in a component’s interface, and can be ports to receive data and/or events, component access which may be provided or required by another component, or subprograms that are entrypoints to the component. All component types may have properties that are common to all of their implementations. Also, component types may extend other component types, refine partially declared features and change property values. The component implementations describe what is contained in a component in terms of subcomponents, connections (between subcomponents or between a subcomponent and a feature of its containing component), operational modes, properties and flow implementations. The specification of subcomponents permits to create a hierarchic architecture, thus satisfying another important requirement of the ADL’s. AADL has predefined execution platform (hardware) and software component types, besides a “system” component which is hybrid. An architecture is described by the mapping of sofware components to the execution platform with the appropriate connections and configurations that will be explained a posteriori . A system type may contain all kinds of ports, component access and server subprogram features, since it may represent a whole abstraction of architecture. Its implementation can have every AADL component (hardware and software) as its subcomponents, including other systems. The AADL Software Components are: data, subprogram, thread, thread group, and process, and their graphical representation can be seen in Figure ...
Similar publications
We analyze the anomalous behavior in hole-doped cuprates near (1)/(8) doping in terms of the commensurate-incommensurate transition of a stripe phase. Based on an effective Ginzburg-Landau theory appropriate for weak pinning, we calculate the commensurate-incommensurate transition point and the energies of the phason and amplitudon collective modes...
This paper describes three lumped parameters models for the study of the dynamic behavior of a boom crane. The models here proposed allows to evaluate the fluctuations of the load arising from the rope and structure elasticity and from the type of the motion command imposed by the winch. A calculation software
was developed in order to determine th...
In this work we analyse the doubling of metal lines as a function of the Blazhko phase in the spectra of RR Lyr.
In this paper, we consider a class of fractional-order systems described by the Caputo derivative. The behaviors of the dynamics of this particular class of fractional-order systems will be proposed and experienced by a numerical scheme to obtain the phase portraits. Before that, we will provide the conditions under which the considered fractional-...
Citations
... • Furthermore, the Cheddar project has also contributed in many research projects related to model driven engineering or real-time system performance analysis [33,27,39,65,63,54]. For example, in the context of the european IST ASSERT project, [39] have shown that Cheddar can be used in a process in which a real-time system is modelled with AADL and verified by Cheddar or CPN-AMI [35]. ...
This article deals with real-time critical systems modelling and verification. Real-time scheduling theory provides algebraic
methods and algorithms in order to make timing constraints verifications of these systems. Nevertheless, many industrial projects
do not perform analysis with real-time scheduling theory even if demand for use of this theory is large and the industrial
application field is wide (avionics, aerospace, automotive, autonomous systems, …). The Cheddar project investigates why real-time scheduling theory is not used and how its usability can be increased. The project was
launched at the University of Brest in 2002. In Lecture Notes on Computer Sciences, vol. 5026, pp. 240–253, 2008, we have presented a short overview of this project. This article is an extended presentation of the Cheddar project, its contributions and also its ongoing works.
