This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulability, Performance, and time. This Profile...
详细信息
ISBN:
(纸本)1595935045
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulability, Performance, and time. This Profile allows the detailed description of quantitative system aspects such as times and probabilistic choice. For the resulting models a transformation into a Stochastic Petri Net is established. The Petri Net's performance measures can be determined by simulation or numerical analysis. A part of the future European Train Control System (ETCS) serves as an application example. The relationship between ETCS communication quality and minimal distance between subsequent trains is investigated. Copyright 2006 ACM.
real-time Scheduling Algorithms are an integral part of dependable real-timesystems design and implementation. Schedulability tests, deadlock conditions, and priority inversion concepts need to be carried out and inv...
详细信息
In this paper, relational complexity theory is used to discuss various aspects of the complexity of computer system design tasks, with a special focus on embedded real-timesystems for high dependability environments....
详细信息
ISBN:
(纸本)1424400716
In this paper, relational complexity theory is used to discuss various aspects of the complexity of computer system design tasks, with a special focus on embedded real-timesystems for high dependability environments. Designing such systems is often especially complex as various timing and dependability constraints must be met. An approach is presented that allows for a strict conceptual separation of components by minimizing the relational properties of components. An example component structure that adheres to the presented concepts is shortly described.
A mathematical model and control for autonomous small size helicopters were analyzed, which were equipped with different sensors, and can be used in many practical applications. Based on the derived model, a control f...
详细信息
A mathematical model and control for autonomous small size helicopters were analyzed, which were equipped with different sensors, and can be used in many practical applications. Based on the derived model, a control for the basic helicopter and one for the helicopter with heavy or bulky load rigidly attached to the fuselage are designed and tested in laboratory flight experiments. The main rotor was modeled as a separate rigid body as a result of the contribution estimation. The demonstration of good match between model and flight experiment dynamics were analyzed. A controller was designed, and its good performance was demonstrated by using the derived model.
Efficient multisite job scheduling facilitates the cooperation of multi-domain massively parallel processor systems in a computing grid environment. However, co-allocation, heterogeneity, adaptability, and scalability...
详细信息
Heuristic approaches are traditionally applied to find the size and location of Flexible AC Transmission systems (FACTS) devices in a small power system. Nevertheless, more sophisticated methods are required for placi...
详细信息
Integrated architectures in the automotive and avionic domain promise improved resource utilization and enable a better tactic coordination of application subsystems compared to federated systems. In order to support ...
详细信息
Integrated architectures in the automotive and avionic domain promise improved resource utilization and enable a better tactic coordination of application subsystems compared to federated systems. In order to support safety-critical application subsystems, an integrated architecture needs to support fault-tolerant strategies that enable the continued operation of the system in the presence of failures. The basis for the implementation and validation of fault-tolerant strategies is a fault hypothesis that identifies the fault containment regions, specifies the failure modes and provides realistic failure rate assumptions. This paper describes a fault hypothesis for integrated architectures, which takes into account the collocation of multiple software components on shared node computers. We argue in favor of a differentiation of fault containment regions for hardware and software faults. In addition, the fault hypothesis describes the assumptions concerning the respective frequencies of transient and permanent failures in consideration of recent semiconductor trends
Ethernet is the most pervasive communication technology in use today. It is a standard for connecting computers to form a local area network and provides a common method for the exchange of data. In this paper, we pro...
详细信息
Ethernet is the most pervasive communication technology in use today. It is a standard for connecting computers to form a local area network and provides a common method for the exchange of data. In this paper, we propose a Linux solution, BondingPlus, to support real-time control and boost bandwidth using multiple network interface cards connected to regular switching hubs in an Ethernet environment. BondingPlus schedules packets in the data link layer without modification to the hardware or operating system in the host machine. real-time packets can be transmitted via one or several dedicated bonding Ethernet interfaces, and there is no competition with low priority packets. Transmission delay and network jitter for real-time packets can be dramatically reduced. Furthermore, bandwidth can be increased in proportion to the number of bonding Ethernet interfaces under both TCP and UDP transmission. Various types of systems, such as clustering and parallel systems, can be enhanced at minimal hardware cost.
In this paper, relational complexity theory is used to discuss various aspects of the complexity of computer system design tasks, with a special focus on embedded real-timesystems for high dependability environments....
详细信息
In this paper, relational complexity theory is used to discuss various aspects of the complexity of computer system design tasks, with a special focus on embedded real-timesystems for high dependability environments. Designing such systems is often especially complex as various timing and dependability constraints must be met. An approach is presented that allows for a strict conceptual separation of components by minimizing the relational properties of components. An example component structure that adheres to the presented concepts is shortly described.
3D environment reconstruction is a basic task, delivering the data for mapping, localization and navigation in mobile robotics. We present a new technique that combines a stereo-camera system with a PMD-camera. Both s...
详细信息
3D environment reconstruction is a basic task, delivering the data for mapping, localization and navigation in mobile robotics. We present a new technique that combines a stereo-camera system with a PMD-camera. Both systems generate distance images of the environment but with different characteristics. It is shown that each system compensates effectively for the deficiencies of the other one. The combined system is real-time suited. Experimental data of an indoor scene including the calibration procedure are reported
暂无评论