|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| | {{Event | | {{Event |
| − | |Acronym=CRTS 2008
| + | |Title=DVWG-Jahresverkehrskongress 2012 |
| − | |Title=Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (co-located with RTSS 2008) | + | |Ordinal=2012 |
| − | |Type=Workshop
| + | |In Event Series=Event Series:Abae1921-3cca-4c27-997a-cca84c025c32 |
| − | |Homepage=www.cis.upenn.edu/~ishin/crts2008/crts2008.html
| |
| − | |City=Barcelona | |
| − | |Country=Country:ES | |
| − | |wikicfpId=3433
| |
| − | |pageCreator=127.0.0.1
| |
| − | |contributionType=1
| |
| | |Single Day Event=no | | |Single Day Event=no |
| − | |Start Date=Nov 30, 2008 | + | |Start Date=2012/05/10 |
| − | |End Date=Nov 30, 2008 | + | |End Date=2012/05/11 |
| − | |Academic Field=Real-Time Systems
| |
| | |Event Status=as scheduled | | |Event Status=as scheduled |
| | |Event Mode=on site | | |Event Mode=on site |
| | + | |Official Website=https://www.dvwg.de/veranstaltungen/veranstaltungsdetails?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=821&cHash=5e81a98428f8a540b4a9505b3c554818 |
| | + | |DOI=10.25798/kbjv-0h53 |
| | }} | | }} |
| − | {{Event Deadline | + | {{Event Deadline}} |
| − | |Notification Deadline=Oct 15, 2008
| + | {{Organizer |
| − | |Camera-Ready Deadline=Oct 31, 2008 | + | |Contributor Type=organization |
| − | |Submission Deadline=Sep 15, 2008 | + | |Organization=Deutsche Verkehrswissenschaftliche Gesellschaft |
| | }} | | }} |
| − | {{Event Deadline}}
| |
| | {{S Event}} | | {{S Event}} |
| − |
| |
| − | <pre>
| |
| − | ----------------------------------------------------------------------
| |
| − | CALL FOR PAPERS - CRTS '08 (co-located with RTSS '08)
| |
| − | ----------------------------------------------------------------------
| |
| − |
| |
| − | Workshop on Compositional Theory and Technology for
| |
| − | Real-Time Embedded Systems (CRTS'08)
| |
| − | November 30, Barcelona, Spain
| |
| − |
| |
| − | CRTS'08 is held in conjunction with the
| |
| − | 29th IEEE Real-Time Systems Symposium (RTSS'08)
| |
| − | November 30 - December 3, Barcelona, Spain
| |
| − |
| |
| − | ***** Paper Submission Deadline : September 15, 2008 *****
| |
| − |
| |
| − | ----------------------------------------------------------------------
| |
| − | Web site: http://www.cis.upenn.edu/~ishin/crts2008/crts2008.html
| |
| − | http://www.rtss.org
| |
| − | ----------------------------------------------------------------------
| |
| − |
| |
| − | The increasing complexity of real-time embedded systems demands
| |
| − | advanced methodologies that can facilitate their design and
| |
| − | analysis, while assuring correctness, real-time, and performance
| |
| − | requirements. Promising is a paradigm of compositional theories and
| |
| − | technologies that allows for the decomposition of a complex system
| |
| − | into simpler pieces (components), as well as the integration of
| |
| − | individual components to achieve system functions collectively,
| |
| − | while preserving the principles of
| |
| − | - compositionality: the system-level (global) property can be
| |
| − | established from composing component-level (local) properties, and
| |
| − | - composability: the properties established and validated for
| |
| − | components in isolation hold also after the components are
| |
| − | assembled into the system.
| |
| − | Such a composition paradigm calls for new component concepts and
| |
| − | composition mechanisms that can support various key characteristics
| |
| − | of real-time embedded systems, such as timeliness, safety, security,
| |
| − | quality of service, and adaptability.
| |
| − |
| |
| − | Topics of interest for the workshop are all of those associated with
| |
| − | compositional theory and technology for real-time embedded systems,
| |
| − | including (but not limited to):
| |
| − |
| |
| − | - COMPOSITIONAL SCHEDULING THEORIES: compositional schedulability
| |
| − | and execution-time analysis; horizontal/vertical composition of
| |
| − | various real-time resource management schemes (e.g., CPU, memory,
| |
| − | power, thermal); composition of cluster-based multicore or
| |
| − | multiprocessor scheduling.
| |
| − |
| |
| − | - COMPONENT MODEL AND INTERFACE: component model for real-time
| |
| − | embedded systems; interface theory and development for real-time
| |
| − | embedded systems; component technology for real-time embedded
| |
| − | systems.
| |
| − |
| |
| − | - COMPOSITIONAL FORMAL METHODS: compositional techniques for
| |
| − | modeling and formal methods; composition of validation and
| |
| − | verification techniques.
| |
| − |
| |
| − | - COMPOSITIONAL DISTRIBUTED SYSTEMS: composition of network protocol
| |
| − | layers for real-time communications; compositional end-to-end delay
| |
| − | analysis in distributed systems.
| |
| − |
| |
| − | - COMPOSITION OF POLICIES AND SERVICES: composition of system layers
| |
| − | (e.g., OS, middleware) for real-time embedded systems; composition
| |
| − | of performance policies and techniques for adaptive or
| |
| − | reconfigurable real-time embedded systems; composition of services
| |
| − | (e.g., robustness, privacy, safety, security) for real-time embedded
| |
| − | systems.
| |
| − |
| |
| − | ----------------------------------------------------------------------
| |
| − | PAPER SUBMISSION
| |
| − |
| |
| − | We encourage the submission of position papers that describe the
| |
| − | state-of-the-art, present work-in-progress, and suggest open issues.
| |
| − | Submissions can be in any format but should be in four to eight
| |
| − | pages including references and figures -- papers exceeding eight
| |
| − | pages will not be reviewed. All submissions should be in PostScript
| |
| − | (PS) or PDF.
| |
| − |
| |
| − | Submission of the paper implies that should the paper be accepted,
| |
| − | at least one of the authors will register and present the paper at
| |
| − | the workshop. Submissions should be sent to the workshop organizers
| |
| − | at insik.shin@cs.kaist.ac.kr and thomas.nolte@mdh.se. Please, visit
| |
| − | the workshop website for more details.
| |
| − |
| |
| − | ----------------------------------------------------------------------
| |
| − | IMPORTANT DATES
| |
| − |
| |
| − | Submission deadline: September 15, 2008
| |
| − | Notification: October 15, 2008
| |
| − | Camera-ready version: October 31, 2008
| |
| − | Workshop: November 30, 2008
| |
| − |
| |
| − | ----------------------------------------------------------------------
| |
| − | ORGANIZERS
| |
| − |
| |
| − | Insup Lee, University of Pennsylvania, USA
| |
| − | Thomas Nolte, M?ardalenUniversity, Sweden
| |
| − | Insik Shin, KAIST, South Korea
| |
| − | Oleg Sokolsky, University of Pennsylvania, USA
| |
| − |
| |
| − | ----------------------------------------------------------------------
| |
| − | PROGRAM COMMITTEE
| |
| − |
| |
| − | Jim Anderson, University of North Carolina, USA
| |
| − | Bjorn Andersson, IPP Hurray, Portugal
| |
| − | Scott Brandt, University of California, Santa Cruz, USA
| |
| − | Reinder Bril, Eindhoven University of Technology (TU/e), Netherlands
| |
| − | Alan Burn, University of York, UK
| |
| − | Marco Caccamo, University of Illinois, Urbana-Champaign, USA
| |
| − | Samarjit Chakraborty, National University of Singapore, Singapore
| |
| − | Sebastian Fischmeister, University of Waterloo, Canada
| |
| − | Nathan Fisher, Wayne State University, USA
| |
| − | Gerhard Fohler, University of Kaiserslautern, Germany Chris Gill, Washington University, St. Luis, USA
| |
| − | Hans Hansson, M?ardalen University, Sweden
| |
| − | Tei-Wei Kuo, National Taiwan University, Taiwan Chang-Gun Lee, Seoul National University, South Korea
| |
| − | Giuseppe Lipari, SSSUP, Italy
| |
| − | Xue Liu, McGill University, Canada
| |
| − | Ying Lu, University of Nebraska, Lincoln, USA
| |
| − | Daniel Mosse, University of Pittsburgh, USA
| |
| − | Raj Rajkumar, Carnegie Mellon University, USA
| |
| − | </pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3433&copyownerid=1428 WikiCFP][[Category:Embedded systems]]
| |
| − | [[Category:Sensor networks]]
| |
