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.
Design by contract and relational interface theories are powerful for specifying component-based systems. We extend these theories with real-time properties so that our technique can model component-based real-time systems. In addition, we use linear temporal logic (LTL) for specifying the invariant properties of contracts. To specify the interaction between methods in a component, and the interaction...
With the huge advances in the field of wireless communication technologies and the availability of large volume of data on customers, it becomes imperative to develop a system that can be used in shopping center to make shopping more enjoyable and efficient for the customer and the monitoring real-time easier for the store's management. A Geomarketing system based on Bluetooth Low Energy (BLE) is...
This paper describes the design and implementation of GridTeractions, a scalable framework for teaching and testing advanced distribution automation strategies in smart grids. GridTeractions provides a hardware-software platform to interact with online running simulation of distribution systems. The interactive approach leads to fast learning processes for power systems students. Besides, the detailed...
This paper describes a model-driven implementation of a standard-compliant Customer Energy Manager (CEM). The advantage of the proposed implementation methodology over conventional techniques is the automatic support of standard data models and the possibility to express CEMS logic in a protocol-independent way. In particular, the logic can be expressed as a state machine, with language constructs...
In real time applications, the time required to execute the events can be crucial and must be considered. However, the existing technique for synthesizing computer communication protocol specifications from UML-based service specification does not account for timing constraints and, therefore, cannot be used in real time applications. In this paper, we address the problem of time assignment to the...
Specifying and designing Real Time Software Systems (RTSS) is a complex matter, because it requires logical correctness as well as timing correctness. Unified Modeling Language (UML), the standard visual object-oriented modeling language, is suitable to deal with this complexity. In RTSS, scheduling of tasks with hard deadlines has been an important area of research in today's life. In this paper...
Industrial demands for agent-based software engineering have significantly increased in the past years. To detect and address the unexpected failures in early design stage of multi-agent systems, several methodologies have been proposed. Agent UML (AUML) is a methodology for agent-based software development that is an extension of the widely accepted UML. AUML handles the interactions among agents...
The main objective in the MDE1 approach is to consider all handled items as models (they are ??first class?? entities). Then the second objective is to automate the integration of heterogeneous models, thanks to efficient model transformation techniques. In the field of avionic real-time and embedded systems, two modeling languages are now standardized and widely used. The UML2 profile for MARTE3,...
This paper presents a distributed multiaxis motion control system based on the IEEE-1394 bus. In the system design, the Unified Modeling Language is employed to illustrate interactions of the objects required in the system. The developed system consists of a set of smart distributed control nodes connected one by one through the IEEE-1394 bus. Each smart node contains four modules, i.e., an IEEE-1394...
Based on the RTPS protocol and the NDDS network messaging middleware, a distributed real-time simulation network of satellite system is developed with Constellation software. Considering the structure feature of actual satellite, the module decomposition technique of distributed simulation is discussed in this paper. And with the RTPS protocol and NDDS network middleware, a synchronous control of...
Software architectural assessment is a key discipline to identify at early stages of a system synthesis the problems that may become critical in its operation. This matter is especially relevant for those systems with real-time constraints. In this paper a special emphasis shall be made on concurrency issues. Typical mechanisms supporting concurrency, such as semaphores or monitors, usually lead to...
This paper describes a novel method for layer-2 auto-configuration of realtime Ethernet networks. Our approach is able to roll out local MAC addresses to the involved devices as well as to discover the topology automatically on top of LLDP. The description of the complete network topology is realized with a minimum amount of data and includes a systematically propagation towards the topology manager...
As part of the DECOS architecture, this paper presents a generic framework for gateways, which enable message exchanges across application subsystem boundaries in order to exploit redundancy and to coordinate the behavior of application subsystems. In the DECOS architecture, networks of different application subsystem can exhibit property mis matches, such as different protocols (e.g., CAN protocol...
Chinese train control system (CTCS) is one of real-time distributed supervising and control systems that have the distributed physical entities needing cooperation to accomplish their local goal, make possible decisions, execute actions, negotiate through the communication protocol to reach global criterion. For designing CTCS simulation software, the hybrid software agent model that is adapted to...
This paper presents the design and full prototype implementation of a configurable multiprocessor platform that supports distributed execution of applications described in UML 2.0. The platform is comprised of multiple Altera Nios II softcore processors and custom hardware accelerators connected by the heterogeneous IP block interconnection (HIBI) communication architecture. Each processor has a local...
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.