CRTS 2008 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems November 30, 2008, Barcelona, Spain (Co-located with RTSS 2008) |
|
|
Home
Focus
Keynote Address
Preliminary Program
Call for Papers
Paper Submission
Important Dates
Organizers
Program Committee
RTSS |
|
Welcome to CRTS 2008! This is the homepage for the first Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS). This workshop (CRTS 2008) provides a forum for researchers and technologists to discuss the state-of-the-art, present their work and contributions, and set future directions in compositional technology for real-time embedded systems. The technical program of CRTS 2008 will consist of invited talks and paper presentations. CRTS 2008 will be held in conjunction with IEEE RTSS 2008 at Barcelona, Spain, on Novemeber 30, 2008. What's New
Focus of CRTS 2008 Focus. 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 principle of compositionality, i.e., the system-level (global) property can be established from composing component-level (local) properties, and/or composability, i.e., 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 are all of those associated with compositional theory and technology for real-time embedded systems, including (but not limited to):
Keynote Address Title: Research Challenges in Composable Distributed Cyber-Physical Systems Abstract: Moore's law, automation considerations, and the pervasive need for timely information lead to a next generation of distributed systems that are open, highly interconnected, and deeply embedded in the physical world. Such cyber-physical systems were recently named the first research priority in networking and information technology in the US by the nation's presidential council of advisors on science and technology. They offer new research challenges that stem from openness, scale, composition, dependencies among numerous components, and tight coupling between computation, communication, and distributed interaction with both physical and social contexts. These growing challenges span a large spectrum ranging from new models of computation for systems that live in physical and social spaces, to the enforcement of reliable, predictable, and timely end-to-end behavior in the face of high interactive complexity, increased uncertainty and imperfect implementation. This talk discusses the top challenges in composable cyber-physical systems and conjectures on research directions of increasing interest in this realm. Biography: Tarek Abdelzaher received his B.Sc. and M.Sc. degrees in Electrical and Computer Engineering from Ain Shams University, Cairo, Egypt, in 1990 and 1994 respectively. He received his Ph.D. from the University of Michigan in 1999 on Quality of Service Adaptation in Real-Time Systems. He has been an Assistant Professor at the University of Virginia, where he founded the Software Predictability Group until 2005. He is currently an Associate Professor at the Department of Computer Science, the University of Illinois at Urbana Champaign. He has authored/coauthored more than 100 refereed publications in real-time computing, distributed systems, sensor networks, and control. He is Editor-in-Chief of the Journal of Real-Time Systems, an Associate Editor of the IEEE Transactions on Mobile Computing, IEEE Transactions on Parallel and Distributed Systems, the ACM Transaction on Sensor Networks, and the Ad Hoc Networks Journal, as well as Editor of ACM SIGBED Review. He was Program Chair of RTAS 2004 and RTSS 2006, and General Chair of RTAS 2005, IPSN 2007, RTSS 2007, DCoSS 2008 and Sensys 2008. Abdelzaher's research interests lie broadly in understanding and controlling the temporal properties of software systems in the face of increasing complexity, distribution, and degree of embedding in an external physical environment. Tarek Abdelzaher is a member of IEEE and ACM. 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 (and inquiries) should be sent to the workshop organizers at insik.shin@cs.kaist.ac.kr and thomas.nolte@mdh.se . Please write "CRTS SUBMISSION" or "CRTS QUESTION" (in upper-case letters) in the subject line of your e-mail. Call for Papers Important Dates
Organizers
Program Committee
|