8 citations · 14 across the 4 of their papers we have counts for
4 papers
A Language-theoretic View on Guidelines and Consistency Rules of UML
Zhe Chen, Gilles Motet
Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e.g., avioni…
Formalizing Safety Requirements Using Controlling Automata
Zhe Chen, Gilles Motet
Safety is an important element of dependability. It is defined as the absence of accidents. Most accidents involving software-intensive systems have been system accidents, which ar…
Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata
Zhe Chen, Gilles Motet
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches…
Toward a Human-Centered Uml for Risk Analysis
Jeremie Guiochet, Gilles Motet, Claude Baron +1
Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of thi…