Logo
User: Guest  Login
Autor:
Riedl, Martin 
Originaltitel:
A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment 
Jahr:
2014 
Typ:
Dissertation 
Einrichtung:
Universität der Bundeswehr München, Fakultät für Informatik 
Betreuer:
Siegle, Markus, Prof. Dr.-Ing. 
Gutachter:
Siegle, Markus, Prof. Dr.-Ing.; Kounev, Samuel, Prof. Dr.-Ing. 
Format:
PDF 
Sprache:
Englisch 
Schlagworte:
Stochastischer Prozess ; Prozessalgebra ; Formale Methode ; Rekonfiguration ; Modelltransformation 
Stichworte:
LARES, Stochastic Process Algebra, Formal Methods, Dependability Analysis, Reconfigurable Systems, Formal Semantics, Scala, Model Transformations 
Übersetzte Stichworte:
LARES, Stochastische Prozess Algebren, Formale Methoden, Verlässlichkeitsanalysen, Rekonfigurierbare Systeme, Formale Semantik, Scala, Modell Transformationen 
DDC-Notation:
004.21 
Kurzfassung:
Model-based dependability evaluation is challenging and therefore prone to error, especially if one uses lower-level formalisms such as Markov Chains, Stochastic Petri Nets or Stochastic Process Algebra (SPA). For that reason, in an industrial environment mainly high-level specification formalisms such as AADL, UML or SysML are employed. Those languages mostly lack formal semantics and capabilities to model stochasticity which is an intrinsic characteristic of dependable systems. For the purpose...    »
 
Übersetzte Kurzfassung:
Modellbasierte Verlässlichkeitsbewertungen sind anspruchsvoll und daher fehleranfällig, insbesondere wenn Formalismen niedriger Abstraktionsstufe wie Markovketten, Stochastische Petri-Netze oder Stochastische Prozessalgebren (SPA) genutzt werden. In der industriellen Anwendung finden daher häufig Spezifikationssprachen mit höherem Abstraktionsgrad wie AADL, UML oder SysML Verwendung. Diese sind jedoch zumeist weder formal definiert noch ermöglichen sie die Modellierung zufälliger Ereignisse, ein...    »
 
Tag der mündlichen Prüfung:
15.07.2014 
Eingestellt am:
01.08.2014 
Ort:
Neubiberg 
Stadt (Autor):
Neustadt a.d. Waldnaab 
Vorname (Autor):
Martin 
Nachname (Autor):
Riedl