Sciweavers

5423 search results - page 144 / 1085
» Denial-of-service in automation systems
Sort
View
DELTA
2008
IEEE
16 years 29 days ago
Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks
—Most innovations in the automotive domain are nowadays enabled by networked embedded systems. In this context a new communication subsystem termed FlexRay was recently introduce...
Paul Milbredt, Andreas Steininger, Martin Horauer
KBSE
2008
IEEE
16 years 27 days ago
Automated Mapping from Goal Models to Self-Adaptive Systems
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
Mirko Morandini, Loris Penserini, Anna Perini
ATVA
2009
Springer
149views Hardware» more  ATVA 2009»
16 years 1 months ago
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
Jens Oehlerking, Oliver E. Theel
ICWL
2007
Springer
16 years 20 days ago
A Cloze Test Authoring System and Its Automation
Abstract. This paper presents a pilot system and discusses its possible extensions. In the first sections, we present a web-based test authoring system for English grammar and voca...
Ayako Hoshino, Hiroshi Nakagawa