LUCAS Cluster Meeting - Industrial Automation LUCAS– Centrum för Industriell Programvaruteknik i Lund Datavetenskap – Boris Magnusson Telekommunikationssystem.

Slides:



Advertisements
Similar presentations
Connected Health Framework
Advertisements

Building a CFD Grid Over ThaiGrid Infrastructure Putchong Uthayopas, Ph.D Department of Computer Engineering, Faculty of Engineering, Kasetsart University,
© Telelogic AB Modeling DoDAF Compliant Architectures Operational Systems Technical.
Prof. Dr. W. Prinz Summary of the STREP session 13. April 2005 Wolfgang Prinz The following slides summarize the presentations.
HRTC Hard Real-time CORBA IST WP3 / K. Nilsson / Viena September 11-13, HRTC Robot Testbed
Simulation of Feedback Scheduling Dan Henriksson, Anton Cervin and Karl-Erik Årzén Department of Automatic Control.
SAFe Automotive aRchItecture SAFARI. SAFARI_Presentation_Short_v1.ppt 2 / /P. Cuenot/ © Continental AG ARTEMIS/Call2 R&D Project Proposal Project.
Corso di Sistemi in Tempo Reale Laurea in Ingegneria dell‘Automazione a.a Paolo Pagano
Conformance Testing of MOST based Applications Towards Effective System Testing André Baresel, Michael Schmidt - DaimlerChrysler AG Contact:
STATEMATE A Working Environment for the Development of Complex Reactive Systems.
CS 325: Software Engineering January 13, 2015 Introduction Defining Software Engineering SWE vs. CS Software Life-Cycle Software Processes Waterfall Process.
OBP Research Oy for simpler creation of embedded systems.
GENI: Global Environment for Networking Innovations Larry Landweber Senior Advisor NSF:CISE Joint Techs Madison, WI July 17, 2006.
Alternate Software Development Methodologies
Java for High Performance Computing Jordi Garcia Almiñana 14 de Octubre de 1998 de la era post-internet.
Dr. Ralph R. Young Director of Software Engineering PRC, Inc. (703) Fifth IEEE International Symposium on Requirements Engineering.
Strategic Directions in Real- Time & Embedded Systems Aatash Patel 18 th September, 2001.
Report WG1 Software-Intensive Systems and New Computing Paradigms Cannes November 12-14, 2008 WG Leader: Martin Wirsing WG Depu ty Leaders: Jean-Pierre.
Object-oriented design CS 345 September 20,2002. Unavoidable Complexity Many software systems are very complex: –Many developers –Ongoing lifespan –Large.
5/24/011 Advanced Tool Integration for Embedded Systems Assurance Insup Lee Department of Computer and Information Science University of Pennsylvania.
Towards a Distributed, Service-Oriented Control Infrastructure for Smart Grid ASU - Cyber Physical Systems Lab Professor G. Fainekos Presenter: Ramtin.
1  Staunstrup and Wolf Ed. “Hardware Software codesign: principles and practice”, Kluwer Publication, 1997  Gajski, Vahid, Narayan and Gong, “Specification,
Foundations of Programming Languages – Course Overview Xinyu Feng Acknowledgments: some slides taken or adapted from lecture notes of Stanford CS242
VIRTUAL PROTOTYPING of ROBOTS DYNAMICS E. Tarabanov.
© Siemens AG, CT SE 1, Dr. A. Ulrich C O R P O R A T E T E C H N O L O G Y Research at Siemens CT SE Software & Engineering Development Techniques.
Brussels, 1 June 2005 WP Strategic Objective Embedded Systems Tom Bo Clausen.
What is a life cycle model? Framework under which a software product is going to be developed. – Defines the phases that the product under development.
Two schemes for feedback scheduling on hybrid control systems Chen Xi.
A network for Real-Time Research and graduate Education in Sweden A brief presentation SNART The Swedish Foundation for Strategic Research.
Industrial Excellence Center (IXC) Embedded Applications Software Engineering (EASE) Prof. Per Runeson.
I n t e g r i t y - S e r v i c e - E x c e l l e n c e UPDM Review Session Col. Jack Jibilian Enterprise Architecting & Warfighting Decision Support SAF/XCPA.
Programming Models & Runtime Systems Breakout Report MICS PI Meeting, June 27, 2002.
No: 1 CEMSIS wp6_beg037_v0_2_fisa 2003 slides.ppt CEMSIS FIKS-CT Cost-Effective Modernisation of Systems Important to Safety Deryk Pavey, Deryk.
Framework for the Development and Testing of Dependable and Safety-Critical Systems IKTA 065/ Supported by the Information and Communication.
SaabTech Jönköping FLEXCON Flexible Embedded Control Systems.
Content The system development life cycle
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Haptic Interfaces and Force-Control Robotic Application in Medical and Industrial Contexts Applicants Prof. Doo Yong Lee, KAIST Prof. Rolf Johansson,
Open Source Software JAVA Sean Thompson Itec 400 4/5/07.
March 2004 At A Glance NASA’s GSFC GMSEC architecture provides a scalable, extensible ground and flight system approach for future missions. Benefits Simplifies.
Industrial Excellence Center (IXC) Embedded Applications Software Engineering (EASE) Prof. Per Runeson.
Industrial Excellence Center (IXC) Embedded Applications Software Engineering (EASE) Prof. Per Runeson.
IS444: Modern tools for applications development Dr. Azeddine Chikh.
Chapter 1 Basic Concepts of Operating Systems Introduction Software A program is a sequence of instructions that enables the computer to carry.
March 2004 At A Glance The AutoFDS provides a web- based interface to acquire, generate, and distribute products, using the GMSEC Reference Architecture.
1 The Software Engineering Education at CSULA Jiang Guo Jose M. Macias June 4, 2010.
Software and Software Engineering By bscshelp.com software engineering 1.
Decisive Themes, July, JL-1 ARTEMIS Decisive Theme for Integrasys Pedro A. Ruiz Integrasys July, 2011.
A Compiler for Printable Robots
BUDO project BUsiness Driven plant Optimization platform
Definition CASE tools are software systems that are intended to provide automated support for routine activities in the software process such as editing.
Computer Science Courses
Dynamic Data Driven Application Systems
CS453: Automated Software Testing
Class project by Piyush Ranjan Satapathy & Van Lepham
HATS – Hierarchical Automated Test Sequencer Platform
Foundations of Programming Languages – Course Overview
Dynamic Data Driven Application Systems
Compiler Back End Panel
Agent Architecture using EiA
Foundations of Programming Languages – Course Overview
Compiler Back End Panel
Automatic Derivation, Integration and Verification
NTNU Dept of Telematics and SINTEF Telecom and Informatics, Norway
Chapter 7 –Implementation Issues
A GUI Based Aid for Generation of Code-Frameworks of TMOs
MIT AI Lab: B. Williams, H. Shrobe, R. Laddaga
The business model defines characteristics
Calypso Service Architecture
Computer Science Courses in the Major
Presentation transcript:

LUCAS Cluster Meeting - Industrial Automation

LUCAS– Centrum för Industriell Programvaruteknik i Lund Datavetenskap – Boris Magnusson Telekommunikationssystem – Per Runeson Reglerteknik – Karl Erik Årzén Mer info:

LUCAS – Center for Applied Software Research LUCAS är en samordning av programvaruinriktad verksamhet vid institutionerna för:  Datavetenskap  Telekommunikationssystem  Reglerteknik LUCAS har stöd från Vinnova med målsättningen att bli ett kompetenscentrum.

Tematiska områden Följande tre områden täcks av centrat:  Software Engineering Environments  Methods in Software Engineering  Real-Time System Software

Medlemsföretag  Guld  Ericsson Mobile Platforms  Sony Ericsson Mobile  ABB Automation Products  Silver  Telelogic, Q-Labs, Ericsson Microwave  Brons  TAC, ABB Robotics, IAR, connectBlue, BlueCell, Axis, C-Technology  Diskussion: Softlab, PDC (DK),...

LUCAS Projects

LUCAS aktiviteter  Forskningsprojekten  LUCAS dagarna  LUCAS klustermöten  Industriell automation  XP  Nätverk & Bluetooth  Testning, verifiering, validering  Kurser, seminarier

Automation Systems: Languages & Implementation  Goal/idea:  Use modern OO ideas in the design and implementation of control and automation systems  Domain-specific languages, co-design of control application and run-time environment, co-simulation tools  Progress:  ABB project within LUCAS  Aspect-oriented language development systems (Applab, JastAdd)  Complementary work at Automatic Control  Actors:  VINNOVA, SSF, ABB ATP, ABB Robotics, Sigma Exallon, TAC(?)  Karl-Erik Årzén, Klas Nilsson, Görel Hedin, Torbjörn Ekman, Anton Cervin, Dan Henriksson

Feedback and QoS in Embedded Systems  Goal/idea:  Study the possibility to use feedback principles in the modeling, analysis, and design of embedded systems as a way of handling the uncertainties in large and complex real-time systems  Study the possibility to use quality-of-service principles in feedback control systems  Progress:  Joint project between CS and AC funded by SSF/ARTES  FLEXCON application in submission to SSF/IT (passed first evaluation)  Actors:  VINNOVA, SSF, ABB ATP, ABB Robotics, Sigma Exallon, TAC(?)  Karl-Erik Årzén, Klas Nilsson, Anton Cervin, Sven Gestegård Robertz, Dan Henriksson

Java for Embedded Systems  Goal/idea:  Enable the use of OO in embedded and control systems  Progress:  Virtual machine, compiler, RT-system design: GC, scheduling, kernel  Experiments and prototyping on several plattforms  Product development  Actors:  Vinnova, ABB, BlueCell & TAC, Softlab(?), Ericsson(?), Telelogic (?), C-Technologies(?), IAR(!)  Boris Magnusson, Roger Henriksson, Klas Nilsson, Anders Ive, Anders Nilsson, Anders Blomdell

Networked Control Systems  Goal/idea:  flexibility through new techniques: dynamic linking, radio communication (Bluetooth).  Progress:  New project with Vinnova support  Relations to Java and COOP and control projects  Actors:  Vinnova, ABB AP(?), BlueCell(?), TAC(?)  Boris Magnusson, Karl-Erik Årzén, Klas Nilsson, Anders Nilsson, Bo Lincoln

System & Software Architectures in Robotics  Goal/idea:  Study system & software architectures that allow flexibility in industrial robotics systems  Vision, force control, collaboration, distributed control  Progress:  Robotics lab at AC important base resource for LUCAS  Long time collaboration with ABB Robotics  Actors:  VINNOVA, ABB Robotics,  Klas Nilsson, Anders Robertsson, Mattias Haage, Rolf Johansson, Anders Blomdell, Daniel Einarson

Integrated Control & Scheduling  SSF / ARTES  Teleca och DDA Consulting som industriella noder  Anton Cervin och Sven Gestegård

Automation  Important area for Swedish and local industry  Area with long tradition  Currently in a state of transition  Several instantiations:  industrial, building, automotive, …  Wide range  from enterprise-wide systems (Industrial IT) to tiny embedded controllers

Automation  Programmable systems  system level (configuration, compilation, run-time system, …)  application level (user programming)  Domain-specific languages  graphical  easy to use but not constraining  animation & visualization  standards (e.g. IEC , S88, S95,…)

Automation  Real-time requirements  periodic execution  determinism  support for concurrency  Distributed execution  Safety-Critical  verification (formal or practical) important  hybrid systems (plant + controller)

Automation  Small market  COTS hardware and software  Efficient development processes and reuse  Modern software techniques  concurrent object-oriented languages (Java, C#)  Interesting tradeoffs  flexibility and openness vs safety and performance