[Todos] Charla Gabriel Wainer: Aplicando modelad o y simulación al desarrollo y testing de sistemas embebidos - Jueves 1 de Marzo]

[Irene Loiseau]

Charla "Aplicación de modelado y simulación al desarrollo y testing de
sistemas embebidos" por
Gabriel Wainer, Carleton University, Canada

Lugar: Aula 5, Pabellón I, Ciudad Universitaria
Fecha: Jueves 1 de Marzo a las 18 hs

"Applying Modelling and Simulation for Development and Testing of Embedded
Systems"

Embedded real-time software construction has usually posed interesting
challenges due to the complexity of the tasks executed. Most
methods are either hard to scale up for large systems, or require a
difficult testing effort with no guarantee for bug-free software
products. Formal methods have showed promising results; nevertheless, they
are difficult to apply when the complexity of the system
under development scales up. Instead, systems engineers have often relied
on the use of modeling and simulation (M&S) techniques in
order to make system development tasks manageable. Construction of system
models and their analysis through simulation re¬duces both
end costs and risks, while enhancing system capabilities and improving the
quality of the final products. M&S let users experiment
with “virtual” systems, allowing them to explore changes, and test dynamic
conditions in a risk-free environment. This is a useful
approach, moreover considering that testing under actual operating
conditions may be impractical and in some cases impossible.

We will present an M&S-driven framework to develop embedded systems based
on the DEVS (Discrete Event systems Specification)
formalism. DEVS provides a formal foundation to M&S that proved to be
successful in different complex systems. This approach
combines the advantages of a simulation-based approach with the rigor of a
formal methodology. Another advantage of using DEVS is
that different existing techniques (Bond Graphs, Cellular Automata,
Partial Differential Equations, Queuing models, etc.) have been
successfully transformed into DEVS models. CD++ is a software environment
that implements DEVS theory with extensions to support
real-time model execution in embedded systems. CD++ was used as the base
for our development, building on previous research focused
on real-time applications with hardware-in-the-loop. A recently developed
technique, based on the creation of Experimental
Frameworks showed success in the testing of systems of systems for very
large applications. We will discuss how to use this
framework to incrementally develop embedded applications, and to
seamlessly integrate simulation models with hardware components.
Our approach does not impose any order in the deployment of the actual
hardware components, providing flexibility to the overall
process. The use of DEVS improves reliability (in terms of logical
correctness and timing), enables model reuse, and permits
reducing development and testing times for the overall process.
Consequently, the development cycle is shortened, its cost reduced,
and quality and reliability of the final product is improved.

GABRIEL WAINER (http://www.sce.carleton.ca/faculty/wainer) recibió la
Licenciatura y el Doctorado en Ciencias de la Computación
(cotutela UBA -Université d’Aix-Marseille III, Francia). Desde Julio del
2000, se desempeña en el Department of Systems and Computer
Engineering, Carleton University (Ottawa, Canada), donde es Profesor
Asociado. Anteriormente fue prof. Adjunto en el Depto. de
Computación (FCEN-UBA), visiting research scholar en University of Arizona
y en el Laboratoire de Systemes - LSIS- (CNRS, Francia) y
profesor invitado en la Université Blaise Pascal (Marsella, Francia). Es
autor de dos libros y mas de 100 artículos de
investigación. Es Editor Asociado de Transactions of the SCS, y de
International Journal of Simulation and Process Modeling. Dirigió
diversos proyectos (subsidiados por NSERC, Precarn IRIS, IBM Scholars,
Usenix, CFI, CONICET, ANPCYT). Es miembro del laboratorio
RADS (Real-Time and Distributed Systems) en Carleton University, del
Carleton U. Centre for advanced Simulation and Visualization,
director del McLeod Institute of Simulation Sciences de Ottawa.
Actualmente trabaja en metodologías y herramientas de modelización y
simulación, simulación paralela y distribuida, y sistemas en Tiempo Real.



_______________________________________________
Docentes mailing list
Docentes en dc.uba.ar
https://listas.dc.uba.ar/cgi-bin/mailman/listinfo/docentes