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.
Creditability modeling on real-time interaction specification for embedded systems on the distributed platform is a continuing challenge to developers. This paper presents a creditability modeling strategy that reduces complexity by separating data-related computational parts and time synchronization interaction among components. We introduce a notion of supervisor to discuss how to aggregate individual...
This paper provides a high dependability framework for developing real time embedded control software. Design pattern and behavior generator support hierarchical composition of real-time concurrent component. Hierarchy composition abstraction preserves the properties of different computation model in a real time environment. A simplified real-time embedded control software system is implemented to...
As an important part of requirement management, managing requirement change plays a key role in controlling project schedule and costs at early stage. Effective requirement impact analysis would give proper assessment on the effect of certain requirement changes on the whole system, and provide useful information for making trade-off decisions on future system design and implementation. In this paper...
SCR is a mature and widely used document driven requirement method, which emphasizes creating strict and complete formal requirement documents during software requirement analysis to serve the whole life circle. However, due to the big gap between textual requirement description and formal requirement document, how to obtain formal SCR requirements specification from informal textual description becomes...
A new structure actuator for reducing coupling of bank-to-turn (BTT) missiles to is studied. The new structure actuator can roll independently along the longitudinal axis of the missile. Hence, the actuator instead of airframe needs to steer when controlling BTT missile rolling. So the rolling speed of main airframe is reduced, it can reduce coupling of missile introduced by airframe rolling. And...
This paper analyzed the complexity of electric driving control system of electrical wheels autonomous dump truck, and proposed active disturbances rejection control (ADRC) strategy for the transmission system of the truck, designed the active-disturbances-rejection transmission control system. The simulation result shows that the ADRC controller satisfies the system requirements, and has a higher...
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.