The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Transforming a software functional model that describes the underlying application to a concurrency model is considered as a critical issue in the model-based approaches for Real-Time Embedded Systems (RTES) development process. The formal methods have proven to be useful for making the development process reliable at a high abstraction level. Based on this approach, this current research proposes...
The profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) defines a framework forannotating non-functional properties of embedded systems. Inparticular, the SAM (Schedulability Analysis Model) sub-profileoffers stereotypes for annotating UML models with the neededinformation which will be extracted to fulfill a scheduling phase. However, SAM does not allow designers to specify...
Architecture Description Languages (ADLs) support modeling and analysis of systems through models transformation and exploration. Various contributions made proposals to bring verification capabilities to designers through model-based frame-works and illustrated benefits to the overall system quality. Model-level analyses are usually performed as an exogenous, unidirectional and semantically weak...
Ever increasing complexity of modern software systems demands new powerful development mechanisms. Model-driven engineering (MDE) can ease the development process through problem abstraction and automated code generation from models. In order for MDE solutions to be trusted, such generation should preserve the system's properties defined at modelling level, both functional and extra-functional, all...
Embedded systems are becoming more complex by integrating multiple features. They require a lot of resources to improve execution performances. Their developments are a real challenge since both their complexity and their quality of service requirements. To manage this complexity, a model driven approach focuses on the design of these systems by raising the level of the specification abstraction....
Accelerating the time to market for new embedded real-time systems is an imperative strategy nowadays. However, releasing poor-quality designs to the market can be dangerous, since a missed deadline in hard real-time systems can be catastrophic. Thus, early detection of potential problems in these systems is mandatory, since it may reduce the risks of fault propagations from early specification to...
Product derivation is an essential part of the Software Product Line (SPL) development process. The paperproposes a model transformation for deriving automatically a UML model of a specific product from the UML model of a product line. This work is a part of a larger project aiming to integrate performance analysis in the SPL model-driven development. The SPL source model is expressed in UML extended...
Component-based development has become more common news than exotic novelty in mainstream industry. Its adoption has accrued high facilitation potential for software reuse and better organization of the product. Surprisingly however, component-oriented approaches have fared far worse in the domain of high-integrity real-time systems. One of the fundamental reasons of this difficulty stems from the...
In model based approaches for real-time systems (RTS) development, an iterative process that consists in the early stage verification of real-time constraints fulfillment according to a given design is usually performed in order to detect as early as possible unfeasible designs. Schedulability analysis allows this early verification of timing constraints according to so called Schedulability Analysis...
The transformation approaches from requirements specification to software architecture models and requirements traceability are two hot topics, UML-RT is widely used in modeling the software architectures of real-time systems, but UML-RT models are often inaccurate or ambiguous, because they are created from natural language specifications. In order to obtain more accurate UML-RT models, UML-RT models...
This paper describes the required model transformations for a seamless use of the models which are architecturing real-time systems. At the highest level of abstraction, we stand in the analysis phase, which consists in producing the set of static and dynamic models of the system. We use the MDA process that allows MARTE PIMs models transformation into AADL PSMs. Therefore we have chosen ATL for generating...
Network on Chip (NoC) is a research field path that primarily addresses the global communication in System on Chip (SoC).The selected topology of the components interconnects plays a prime role in the performance of NoC architecture, for NoC conception, high-level synthesis approaches are utilized thus the behaviorally description of the system is refined into an accurate register-transfer-level (RTL)...
Using empirical methods, both the intentions of methodologies which use models for the development of software-centric, distributed, real-time systems and the issues impeding systems and software engineers in the usage thereof are presented. The capabilities required of model-driven methodologies and of practitioners to enable successful model-driven development are presented and each capability is...
Nowadays, a typical software development process involves many developers which participate in the development process by using a wide variety of development tools. As a consequence, the data representing the project as a whole is distributed over different development tools. For the purpose of consistency, maintainability, and traceability it is an essential task to be aware of the relationships...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.