146 search results - page 4 / 30 » Modeling System Safety Requirements Using Input Output Const... |
95
Voted
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
118
Voted
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
118
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
123
Voted
ICALP
1994
Springer
15 years 5 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
111
Voted
WER
2000
Springer
15 years 4 months ago
2000
Springer
Recently, it has been pointed out that the majority of the requirements engineering methods do not take into account non-functional requirements (NFRs) [10][11]. Consequently, we h...