An implementation of the behavior annex in the AADL-toolset Osate2

AADL is a modeling language to design and analyze High-Integrity Distributed and Real-time systems. Embedded sub-languages published as AADL annexes extend an AADL model to enhance analysis. The behavior annex specifies the behavior of an AADL application model. An implantation of this annex allows to perform behavior analysis. In addition, as there are several AADL annexes, the implementation of generic mechanisms to support each one of them is challenging. The behavior annex is a valid candidate to illustrate these challenges by combining several sub-languages. In this paper we expose our experiment to support the behavior annex in the reference AADL toolset OSATE2. This one, supports the AADL version 2 by providing a front-end and a set of analysis plug-ins to analyze an AADL model

Model based code generation for distributed embedded systems

Embedded systems are becoming increasingly complex and more distributed. Cost and quality requirements necessitate reuse of the functional software components for multiple deployment architectures. An important step is the allocation of software components to hardware. During this process the differences between the hardware and application software architectures must be reconciled. In this paper we discuss an architecture driven approach involving model-based techniques to resolve these differences and integrate hardware and software components. The system architecture serves as the underpinning based on which distributed real-time components can be generated. Generation of various embedded system architectures using the same functional architecture is discussed. The approach leverages the following technologies – IME (Integrated Modeling Environment), the SAE AADL (Architecture Analysis and Design Language), and Ocarina. The approach is illustrated using the electronic throttle control system as a case study

Telecommunications infrastructure and economic growth: Evidence from developing countries.

Often, it has been observed that telecommunication infrastructure development and economic growth proceed together. While this relationship has been studied in the context of developed (OECD) countries, in this study, we investigate this simultaneous relationship between telecommunications and the economic growth, using data for developing countries. Using 3SLS, we estimate a system of equations that endogenize economic growth and telecom penetration (respectively production function and demand for telecom services), along with supply of telecom investment and growth in telecom penetration. We estimate this system of equations separately for main telephone lines and cell phones. We find that while traditional economic factors explain demand for main line phones, they do not explain demand for cell phones. We also find significant impacts of cellular services on national output, when we control for the effects of capital and labour. The impact of telecom penetration on total output is, however, significantly lower for developing countries than that reported for OECD countries, dispelling the convergence hypothesis.Telecommunication ; Infrastructure ; Economic growth ; Reverse causality ; Developing countries