Sciweavers

39 search results - page 7 / 8
» Modeling of self-adaptive systems with SCADE
Sort
View
142
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
Models for automatic generation of safety-critical real-time systems
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
Christian Buckl, Matthias Regensburger, Alois Knol...
ENTCS
2007
97views more  ENTCS 2007»
15 years 3 months ago
Safety-Oriented Design of Component Assemblies using Safety Interfaces
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
Jonas Elmqvist, Simin Nadjm-Tehrani
ICASSP
2010
IEEE
15 years 4 months ago
Vocabulary and language model adaptation using just one speech file
This paper investigates unsupervised vocabulary and language model self-adaptation (VLA) from just one speech file using the web as a knowledge source and without prior knowledge...
Sha Meng, Kishan Thambiratnam, Yimeng Lin, Lifang ...
IWCLS
2007
Springer
15 years 10 months ago
On Lookahead and Latent Learning in Simple LCS
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...
Larry Bull
142
Voted
EMSOFT
2007
Springer
15 years 10 months ago
Virtual execution of AADL models via a translation into synchronous programs
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, X...