31,132 research outputs found
Early aspects: aspect-oriented requirements engineering and architecture design
This paper reports on the third Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design Workshop, which has been held in Lancaster, UK, on March 21, 2004. The workshop included a presentation session and working sessions in which the particular topics on early aspects were discussed. The primary goal of the workshop was to focus on challenges to defining methodical software development processes for aspects from early on in the software life cycle and explore the potential of proposed methods and techniques to scale up to industrial applications
Conversion and verification procedure for goal-based control programs
Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System, developed at the Jet Propulsion Laboratory, takes a goal-based control approach. In this paper, a method for converting goal network control programs into linear hybrid systems is developed. The linear hybrid system can then be verified for safety in the presence of failures using existing symbolic model checkers. An example task is developed and successfully verified using HyTech, a symbolic model checking software for linear hybrid systems
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system
Fault tolerance and safety verification of control
systems are essential for the success of autonomous robotic
systems. A control architecture called Mission Data System
(MDS), developed at the Jet Propulsion Laboratory, takes
a goal-based control approach. In this paper, a method for
converting goal network control programs into linear hybrid
systems is developed. The linear hybrid system can then be
verified for safety in the presence of failures using existing
symbolic model checkers. An example task is simulated in
MDS and successfully verified using HyTech, a symbolic model
checking software for linear hybrid systems
Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty
Fault tolerance and safety verification of control systems that have state variable estimation uncertainty are essential for the success of autonomous robotic systems. A software control architecture called mission data system, developed at the Jet Propulsion Laboratory, uses goal networks as the control program for autonomous systems. Certain types of goal networks can be converted into linear hybrid systems and verified for safety using existing symbolic model checking software. A process for calculating the probability of failure of certain classes of verifiable goal networks due to state estimation uncertainty is presented. A verifiable example task is presented and the failure probability of the control program based on estimation uncertainty is found
- ā¦