Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Michaela Huhn"'
Autor:
Michaela Huhn, Laurie Williams
This book constitutes revised selected papers from the jointly held conferences FHIES 2014, 4th International Symposium on Foundations of Health Information Engineering and Systems, and SEHC 2014, 6th International Workshop on Software Engineering in
Autor:
Michaela Huhn, Stefan Milius
Publikováno v:
Science of Computer Programming. 80:150-168
We report on the application of formal verification in the safety analysis of two level crossing controllers that were industrially designed using Scade Suite. Although the theoretical grounds for formalizing safety analysis have been developed in re
Publikováno v:
Informatik-Spektrum. 31:408-424
Komplexitat, Anforderungsmanagement und Variantenvielfalt sind zentrale Herausforderungen bei der Entwicklung und Evolution heutiger softwaregesteuerter Systeme. Diesen wird zunehmend durch den Einsatz modellbasierter Entwicklungsmethoden begegnet. D
Autor:
S. Bessling, Michaela Huhn
Publikováno v:
Foundations of Health Information Engineering and Systems ISBN: 9783642539558
FHIES
FHIES
Feature-orientation has proven beneficial in the development of software product lines. We investigate formal safety analysis and verification for product lines of software-intensive embedded systems. We show how to uniformly augment a feature-orient
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::419b4b4c94b8d1f1886f6fadb1d9972d
https://doi.org/10.1007/978-3-642-53956-5_15
https://doi.org/10.1007/978-3-642-53956-5_15
Publikováno v:
itit. 41:12-16
Autor:
Michaela Huhn, S. Bessling
Publikováno v:
Foundations of Health Information Engineering and Systems ISBN: 9783642390876
FHIES
FHIES
In product lines of safety-critical medical devices, the safety requirements vary in the same lines as the products. We propose a uniform integration of safety requirements into a model-driven feature-oriented design methodology of product lines. We
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::980450ac5bb4f35a338d968e89e72ff0
https://doi.org/10.1007/978-3-642-39088-3_3
https://doi.org/10.1007/978-3-642-39088-3_3
Publikováno v:
Communications in Computer and Information Science ISBN: 9783642380600
PAAMS (Workshops)
PAAMS (Workshops)
We propose a norm-based agent-oriented model of decision-making of semi-autonomous vehicles in urban traffic scenarios. Computational norms are used to represent the driving rules and conventions that influence the distributed decision-making process
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10b372dcafdc54d53beacd62a6eaa229
https://doi.org/10.1007/978-3-642-38061-7_6
https://doi.org/10.1007/978-3-642-38061-7_6
Publikováno v:
2012 6th IEEE International Conference on Digital Ecosystems and Technologies (DEST).
Cyber-Physical Systems are a synergetic composition of computational control and physical actors. They aim to achieve an enhanced functionality that relies on both, the interaction with and coordination in between the physical and the virtual compone
Autor:
Dennis Klar, Michaela Huhn
Publikováno v:
DEST
When the multi-agent paradigm is applied to cyber-physical ecosystems, the diagnosis of physical failures and unexpected interference must be handled by the agents' internal adaptive task planning or external maintenance. In both cases, a profound kn
Autor:
Dennis Klar, Michaela Huhn
Publikováno v:
2012 IEEE International Conference on Industrial Technology.
The automated monitoring and diagnosis of very large, heterogeneous, distributed automation systems is a complex task for which both technical and process-related factors have to be optimized. Industrial applicability of a diagnostic procedure depend