Presentation for the CC meeting 24/1/02

Slides:

Advertisements

Similar presentations

The Quest for Correctness Joseph Sifakis VERIMAG Laboratory 2nd Sogeti Testing Academy April 29th 2009.

Advertisements

Copyright 2000 Cadence Design Systems. Permission is granted to reproduce without modification. Introduction An overview of formal methods for hardware.

-Grids and the OptIPuter Software Architecture Andrew A. Chien Director, Center for Networked Systems SAIC Chair Professor, Computer Science and Engineering.

ES Seminar1 Communicating Transaction Processes P.S. Thiagarajan National University of Singapore Joint Work with: Abhik Roychoudhury; ……

Composition of functions constructing a function from 2 functions (g o f) = g[f(x)] –for all x in domain of f such that f(x) is in domain of g –f is applied.

1 A Software Project Management Method: A 3 Sergio Coronado, José Alberto Jaén, UNIVERSIDAD POLITECNICA DE MADRID.

The Synchronous Model of Computation Stavros Tripakis UC Berkeley EE 249 Lecture – Sep 15, 2009 CE 290I Lecture – Oct 22, 2009.

Timed Automata.

Introduction to LUSTRE 22c181 Spring Background Developed in 1980’s at Verimag (Fr) Currently used by Estrel Technologies in Scade development tools.

1 Verification and Synthesis of Hybrid Systems Thao Dang October 10, 2000.

NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI A New System Science.

EECE Hybrid and Embedded Systems: Computation T. John Koo, Ph.D. Institute for Software Integrated Systems Department of Electrical Engineering and.

CS599 Software Engineering for Embedded Systems1 Software Engineering for Real-Time: A Roadmap Presentation by: Mandar Samant Raghbir Singh Banwait.

Secure Middleware (?) Patrick Morrison 3/1/2006 Secure Systems Group.

Review of “Embedded Software” by E.A. Lee Katherine Barrow Vladimir Jakobac.

EECE Hybrid and Embedded Systems: Computation T. John Koo, Ph.D. Institute for Software Integrated Systems Department of Electrical Engineering and.

EECE Hybrid and Embedded Systems: Computation

Protocol Engineering Research Center P. M. Melliar-Smith U.C. Santa Barbara M. G. Baker Stanford J. J. Garcia-Luna-Aceves U.C. Santa Cruz J. C. Hou Ohio.

Approximate Abstraction for Verification of Continuous and Hybrid Systems Antoine Girard Guest lecture ESE601: Hybrid Systems 03/22/2006

NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI A New System Science.

Ptolemy Miniconference May 9, 2003 Berkeley, CA Ptolemy Project Plans for the Future Edward A. Lee Professor Ptolemy Project Director.

August 2006Scott Stoller, Stony Brook University1 Research in Formal Methods, Concurrent & Distributed Systems, and Programming Languages at Scott D. Stoller.

Chess Review October 4, 2006 Alexandria, VA Embedded Systems Education: Vanderbilt Edited and Presented by Janos Sztipanovits ISIS, Vanderbilt University.

High Confidence Medical Device Software and Systems: A programming languages and tools perspective Mark P Jones Department of Computer Science & Electrical.

Real-Time and Multimedia Systems Laboratory Carnegie Mellon System Integration Raj Rajkumar Professor, ECE and CS Director, Real-Time and Multimedia Systems.

1 First, some interesting numbers: ~2,000 ~80 2 >200 [To be defined on March 23]

1 Correct and efficient implementations of synchronous models on asynchronous execution platforms Stavros Tripakis UC Berkeley and Verimag EC^2 Workshop,

Niranjan Rao Julapelly Real-Time Scheduling [ Chapter 5.5]

Institut Experimentelles Software Engineering Fraunhofe r IESE Andreas Birk Ulrike Becker-Kornstaedt Sauerwiesen 6 D Kaiserslautern Germany Experience.

Page 1 MODEL TEST in the small GENERALIZE PROGRAM PROCESS allocated maintenance changes management documents initial requirement project infrastructure.

Structure of Study Programmes

Software Engineering ‘The establishment and use of sound engineering principles (methods) in order to obtain economically software that is reliable and.

Software Science Jan Tretmans. Master Programme in Computing Science 2 years (120 ec), full time four specializations software science MFoCS data sciencecyber.

Hybrid automata and temporal logics

Aravind Venkataraman. Topics of Discussion Real-time Computing Synchronous Programming Languages Real-time Operating Systems Real-time System Types Real-time.

Model Checking and Model-Based Design Bruce H. Krogh Carnegie Mellon University.

1 An Aspect-Oriented Implementation Method Sérgio Soares CIn – UFPE Orientador: Paulo Borba.

Desynchronization and distributed deployment of synchronous systems Albert Benveniste – Inria 2002.

Seminar on SW engineering processes and methods. Goals Study what research results show about real benefits of Agile, Lean and other hype trends Analyze.

An Efficient Algorithm for the Computation of Optimum Paths in Weighted Graphs Radu Iosif, Marius Bozga, Vassiliki Sfyrla Univ. de Grenoble ’’Joseph Fourier’’

Architecture View Models A model is a complete, simplified description of a system from a particular perspective or viewpoint. There is no single view.

1 Software Design Lecture What’s Design It’s a representation of something that is to be built. i.e. design  implementation.

Using UML, Patterns, and Java Object-Oriented Software Engineering 15. Software Life Cycle (Waterfall)

Scott A. DeLoach Kansas State University May 2008.

Embedded and Real Time Systems David Andrews

SAMCAHNG Yun Goo Kim I. Formal Model Based Development & Safety Analysis II. UML (Model) Based Safety RMS S/W Development February KIM, YUN GOO.

16 January 2004LIX1 Equipe Comète Concurrency, Mobility, and Transactions Catuscia Palamidessi INRIA-Futurs and LIX.

Personal and ubiquitous robotics

Stavros Stavru and Sylvia Ilieva C. Wohlin (Ed.): XP 2012, LNBIP 111, pp. 185–192, 2012.

Project Proposal. Option 1 Cellular GPS application and server.

Specialties Description

Object-Oriented Analysis & Design

EE 249 Embedded Systems Design

Software Engineering Development of procedures and systematic applications that are used on electronic machines. Software engineering incorporates various.

Real Time Operating System

Possible Topics: Real-Time Scheduling

Gabor Madl Ph.D. Candidate, UC Irvine Advisor: Nikil Dutt

Dr. Samer Odeh Hanna (PhD)

CSCI1600: Embedded and Real Time Software

P. Poplavko, D. Socci, R. Kahil, M. Bozga, S. Bensalem

פחת ורווח הון סוגיות מיוחדות תהילה ששון עו"ד (רו"ח) ספטמבר 2015

Automatic Derivation, Integration and Verification

Discrete Mathematics Lecture 1: Introduction

Discrete Mathematics Lecture 1: Introduction

IDEA 2016 I nvestigating D ataflow in E mbedded computing

Research Activities of Software Engineering Lab in Osaka University

Thank you!!! Thanks to ACM Taipei Chapter Thanks to IICM

Course Summary Joseph E. Gonzalez

Power System Analysis (EELE 4351)

offers for junior researchers in its research teams

Presentation transcript:

Presentation for the CC meeting 24/1/02 VERIMAG Presentation for the CC meeting 24/1/02

UMR (JRU in English) (Upside-down): Director: Joseph Sifakis 16 Permanent researchers and professors 7 Engineers and post-docs 20 PhD students

Sub-Groups Synchronous programming (Lustre-Scade environment for programming control applications). P. Caspi and N. Halbwachs Distributed complex systems (verification of protocols, security). Y. Lakhnech Timed and Hybrid systems (we)

Timed and Hybrid Systems Permanent Members: Eugene Asarin Saddek Bensalem Thao Dang Stavros Tripakis Sergio Yovine

Domains of Activity Validation techniques for real-time software (Taxys-Esterel, RT-Java, TTA) New approaches to scheduling and planning based on timed automata Compositional modeling methodology for real-time systems Timing analysis of circuits Verification of hybrid systems