Computational Modeling and Simulation of Embedded Systems

Co-Chair

Gabriela Nicolescu
Department of Computer Engineering
Polytechnique Montréal,
Montréal, QC

Co-Chair

Pieter J. Mosterman
Real-time and Simulation Technologies
The MathWorks, Inc.
USA

SCSC'07 is focused on basic and applied research in modeling and simulation. The purpose of the conference is to provide a forum for researchers and governmental and industrial investigators to exchange ideas and discuss developments in this growing field. In addition to peer reviewed paper sessions, the best contributed paper will be given an award. A selected group of full papers will be published in the special issue of Simulation Journal. Topics of interest include but are not limited to

Computer automated multiparadigm modeling
Embedded software modeling and simulation
Model transformation
Hardware/software codesign
- Automatic code generation
Verification and validation
Cosimulation
Integrating heterogeneous solver technology
Mixed signal simulation
Real-time simulation
- Hardware-in-the-loop
- Rapid prototyping
- Processor-in-the-loop
Networked embedded control system design
Multiprocessor system on chip design
Heterogeneous systems
- Micro electro-mechanical systems
- Opto-electric systems

Program

Monday 10:30 - 12:00 Track Keynote Session
Chair: Gabriela Nicolescu, Ecole Polytechnique de Montréal, Canada

Speaker: Stephen J. Koffman, The Boeing Company

"Benefits and Challenges of Using Model-Based Design in a Production Environment"

Monday 1:30 - 3:00 Modeling and Simulation of Real-Time Embedded Systems
Chair: Roy Crosbie, California State University, Chico, USA

Algebraic Software Analysis and Embedded Simulation of a Driving Robot (FP)
Leon Merkx, Pieter Cuijpers, Hans-Martin Duringhof
Heuristic Scheduling Algorithms Designed Based on Properties of Optimal Algorithm for Soft Real-Time Tasks (FP)
Arezou Mohammadi, Selim Akl
Accuracy Evaluation in Power Hardware-in-the-Loop (PHIL) Simulation (FP)
Wei Ren, Mischa Steurer, Stephen Woodruff

Monday 3:30 - 5:00 Model-Based Design of Heterogeneous Embedded Systems
Chair: Pieter Cuijpers, Technische Universiteit Eindhoven, Netherlands

Simulink based Hardware-Software Codesign Flow for Heterogeneous MPSoC (IN)
Katalin Popovici, Ahmed Amine Jerraya
Multi-formalism Modelling and Model Transformation for the Design of Reactive Systems (FP)
Thomas Huining Feng, Miriam Zia, Hans Vangheluwe
A Graphical Variant Appraoch to Object-Oriented Modeling of Dynamic Systems (FP)
Paul Kinnucan, Pieter J. Mosterman

Tuesday 10:30 - 12:00 Embedded System Applications of Model-Based Design
Chair: Roger Dougal, University of South Carolina, USA

Simulating Magnetic Storage Elements: Implementation of the Micromagnetic Model into MATLAB—Case Study for Standardizing Simulation Environments (ST)
Markus Bolte, Massoud Najafi, Guido Meier, Dietmar Möller
Modeling, Verification, and Implementation of PLC Program using Timed-MPSG (FP)
Devinder Thapa, Sang Chal Park, Chang Mok Park, Gi-Nam Wang
Modeling and Simulation of the Thermal and Psychrometric Transient Response of All Electric Ships, Internal Compartments and Cabinets (FP)
Jose Vargas, Juan Ordonez, Rob Hovsapian
Consistency between Geometric and Dynamic Views of a Mechancial System (ST)
Chahé Adourian, Hans Vangheluwe

Tuesday 1:30 - 3:00 Modeling and Simulation of Continuous/Discrete Systems
Chair: Hans Vangheluwe, McGill University, Canada

Behavior modeling and simulation for heterogeneous design applied to aerospatial inertial microinstrumentation development (IN)
Carles Ferrer
A Formalization of Global Simulation Models for Continuous/Discrete Systems (FP)
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb
Hierarchical Modeling of Mode-Switching Systems (FP)
James E. Weiner, Bruce H. Krogh
Migrating to a Real-Time Distributed Parallel Simulator Architecture (ST)
Bernardt Duvenhage, Derrick Kourie

Tuesday 3:30 - 5:00 Track Keynote Session
Chair: Pieter J. Mosterman, The MathWorks, USA

Speaker: Gautam Biswas, Vanderbilt University, USA

"Issues in Efficient Simulation of Component-Oriented Hybrid System Models"

Home	Special Issues	Workshops	Invited Sessions	References
	IEEE TCST	The Inaugural Bellairs workshop	Heterogeneous Modeling
	ACM TOMACS	The 2^nd Bellairs workshop	Behavior Generation
	SIMULATION	The 3^rd Bellairs workshop	Domain Specific Modeling
		1^st Multi-Paradigm Modeling: Concepts and Tools	Applications
		The 4^th Bellairs workshop	CAMPaM Tools
		2^nd Multi-Paradigm Modeling: Concepts and Tools	Model-Based Design Tools
		The 5^th Bellairs workshop
		The 6^th Bellairs workshop
		3^3d Multi-Paradigm Modeling: Concepts and Tools