CFP: RTSOPS 2012

Posted on March 14, 2012 by Sathish Gopalakrishnan

CALL FOR Submissions – RTSOPS’12 (co-located with ECRTS’12)

RTSOPS 2012: 3rd International Real-Time Scheduling Open Problems Seminar
Pisa, Italy, July 10th, 2012

RTSOPS 2012 is held in conjunction with the 24th Euromicro Intl Conference on Real-Time Systems (ECRTS’12)
July 11 – July 13, Pisa, Italy

Submission Deadline: May 11, 2012 May 4, 2012

Web site: http://www.cs.wayne.edu/~fishern/Meetings/rtsops2012/

http://ecrts.eit.uni-kl.de/ecrts12

Seminar Info: The 3rd International Real-Time Scheduling Open Problems
Seminar (RTSOPS 2012) provides a venue for the exchange of ideas and the
discussion of interesting unsolved problems in real-time scheduling. The
format of the seminar encourages interaction between participants and
provides ample time for relaxed discussions. The goal of the seminar is
to promote a spirit of co-operation and collaboration within the real-
time scheduling community.

RTSOPS 2012 is organized around presentation and collaboration sessions.
Each presentation session provides the opportunity to hear about a number
of unsolved problems in real-time scheduling, highlighted via brief
presentations. The following collaboration session gives participants the
opportunity to interact in small groups, exchange ideas with the
presenters, explore how the problems might be solved, and take the first
steps towards a solution.

In addition, authors of open problem submissions from last year’s RTSOPS
are invited to submit short status reports on progress made towards a
solution to their open problem. This year’s seminar will include a
session for presentation of such advances.

Scope: Real-time scheduling theory has provided a foundation for
understanding and solving resource allocation and scheduling problems in
systems that have real-time constraints. New fundamental results are
needed to address recent advances and trends in real-time systems design.
RTSOPS 2012 encompasses all aspects of real-time scheduling.

Submissions: RTSOPS 2012 invites extended abstracts of open problems in
areas such as, but not limited to:
- Multiprocessor, uniprocessor and communications scheduling.
- New models for real-time systems
- Scheduling in cyber-physical systems
- Interactions between WCET analysis and scheduling

Continue reading →

Posted in CFP | Comments Off

CFP: RTSS 2012

Posted on December 18, 2011 by Sathish Gopalakrishnan

IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the area of real-time systems, presenting innovations in the field with respect to theory and practice. RTSS provides a forum for the presentation of high-quality, original research covering all aspects of real-time systems design, analysis, implementation, evaluation, and experiences. RTSS’12 continues the trend of making RTSS an expansive and inclusive symposium, looking to embrace new and emerging areas of real-time systems research.

RTSS 2012 welcomes submissions in all areas of real-time systems, including but not limited to operating systems, networks, middleware, compilers, tools, modeling, scheduling, QoS support, resource management, testing and debugging, hardware/software co-design, fault tolerance, security, power and thermal management, embedded platforms, and system experimentation and deployment experiences.

In addition to the main real-time track, we will continue the successful format of previous years with three specialized tracks:
* Cyber-physical systems
* Design and Verification
* Wireless Sensor Networks
Although authors will choose which tracks to submit papers to, a paper may be redirected to a more appropriate track. All papers will appear in the main program and proceedings.

Important dates

* May 15, 2012 – FIRM Submission Deadline
* August 1, 2012 – Notification of Acceptance
* September 15, 2012 – Camera-ready Deadline
* December 4, 2012 – Workshops
* December 5 to December 7, 2012 – Symposium

Continue reading →

Posted in CFP | Comments Off

Open Position at the Software Engineering Institute

Posted on May 7, 2012 by Sathish Gopalakrishnan

The Software Engineering Institute is hiring.

The SEI Research, Technology, and System Solutions (RTSS) Program conducts and applies research on the structure and behavior of systems. Working in RTSS provides staff members with the opportunity to build a strong reputation in their chosen fields, interact with world-class colleagues at Carnegie Mellon University, and have a seminal and lasting influence on an emerging body of technical research and practice.

The RTSS Program seeks qualified candidates for the SEI High-Confidence Cyber-Physical Systems team. This group conducts research in the design and analysis of cyber-physical systems (CPSs). The following position is open:

Senior Researcher for High-Confidence Cyber-Physical Systems

PhD in software engineering, computer science, electrical and computer engineering, or related discipline with a dissertation in a related topic, along with five years of experience in software and systems development or verification tool development (counting research projects). US citizenship required; successful candidate must be able to pass background investigation for a DoD security clearance.

The Senior Researcher will conduct research in verification techniques from model-checking and static analysis for functional verification; in real-time scheduling and resource allocation; and in robot coordination. The HCCPS project is interested not only in theoretical investigation but also in building prototypes to evaluate the practicality of results. As a result, the Senior Researcher will help to create model problems inspired by the practitioner community and develop ready-to-use materials including books, reports, courses, etc.

To review a complete position description, and to become an applicant, please visit: www.sei.cmu.edu/careers and select position # 9086.

Bill Scully
Technical Recruiter
Software Engineering Institute
Carnegie Mellon University

Posted in Jobs | Comments Off

CFP: CPSNA 2012

Posted on April 11, 2012 by Sathish Gopalakrishnan

CALL FOR PAPERS – CPSNA’12
The 2nd International Workshop on Cyber-Physical Systems, Networks and Applications
in conjunction with the 18th IEEE International Conference on
Embedded and Real-Time Computing Systems and Applications (RTCSA’12)

August 19, 2012, Seoul, Korea
Submission Deadline: May 10, 2012
Workshop website: http://cps.kaist.ac.kr/cpsna2012/

Cyber-physical systems represent a next generation of embedded systems featuring a tight integration of computational and physical elements. Emerging applications of cyber-physical systems include transportation, healthcare, energy, manufacturing, entertainment, consumer electronics, environmental monitoring, and aerospace, all of which will be essential pieces of our social infrastructure. A grander vision of cyber-physical systems, however, faces a core challenge of multidisciplinary research collaborations, as their relevant technologies appear in diverse areas of science and engineering. The objective of this workshop is to explore innovative, exciting, and fresh ideas for cyber-physical systems. Contributions should emphasize on the design, implementation, and evaluation of systems, networks, and applications. The scope of CPSNA’12 will give due consideration in all areas of research that facilitate collaborations between cyber-physical systems and existing technologies. Topics of special interest include, but are not limited to, the following:

  • Embedded and real-time systems
  • Sensor networks
  • Timing analysis and verification methods and tools
  • Dependable computing
  • Ubiquitous and pervasive computing
  • Cloud and distributed computing
  • Data-intensive computing
  • Multicore and GPU programming
  • Architecture, compiler, and OS support
  • Experimental prototype systems
  • Project report on multidisciplinary research collaborations
  • Emerging applications of cyber-physical systems: autonomous vehicles, healthcare robots, smart buildings, smart grids, medical devices, virtual reality interfaces, infrastructure monitoring systems, etc.

CPSNA 2012 especially seeks papers from, but not limited to, students and young researchers. Case studies and evaluation of existing technologies are also welcome.

Paper Submission

CPSNA’12 invites submissions of full and short papers. Full papers must present complete work, while short papers may include work in progress. Submitted papers must adhere to page limits of 6 pages for full papers and 4 pages for short papers. The paper formats must follow 8.5-inch by 11-inch with two columns using a font size of 10 pt. In order to avoid violation of these instructions, authors are encouraged to use the IEEE proceedings template available on the following website: http://www.ieee.org/conferences_events/conferences/publishing/

Important Dates
Submission deadline: May 10, 2012 (11:59pm Pacific Time)
Notification: June 19, 2012
Camera-ready version: July 19, 2012
Workshop: August 19, 2012

Continue reading →

Posted in CFP | Comments Off

ICCPS 2012

Posted on March 1, 2012 by Sathish Gopalakrishnan

CALL FOR PARTICIPATION
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
April 17-19, 2012
Beijing, China
(http://www.iccps.org/)

We have assembled an exciting program for ICCPS 2012, the flagship conference on the emerging area of cyber-physical systems (CPS). Here are some of the highlights of the program:
14 regular papers and 5 invited papers representative of an exciting crosscutting field of cyber-physical systems.
• Work-in-Progress, Demos, and Poster Sessions will present early work and demonstrations of cyber-physical systems.
• Invited panel on the distinctive nature of the new area of CPS
• Three keynotes from leading researchers in cyber-physical systems (CPS): Julian Goldman (Massachusetts General Hospital/CIMIT), Hide Tokuda (Keio University), and Claire Tomlin (UC Berkeley).

ICCPS is part of CPS Week and co-located with IPSN, RTAS, HSCC, and HiCoNS conferences. Registrants of ICCPS can also attend sessions of these other conferences.

The early registration deadline: March 15, 2012, GMT-12.

We are looking forward to seeing you in Beijing in April!

General Chairs:
Insup Lee, University of Pennsylvania, USA
Oleg Sokolsky, University of Pennsylvania, USA

TPC Chair:
Chenyang Lu, Washington University in St. Louis, USA

Posted in CFP | Comments Off

CFP: ECRTS 2012

Posted on December 21, 2011 by Sathish Gopalakrishnan

24th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Pisa, Italy, 11-13th July 2012

Organised by the Euromicro Technical Committee on Real-Time Systems

Conference web site: ecrts12.ecrts.org

********** SUBMISSION DEADLINE 3rd Feb, 2012 at 23:59 GMT ***********

THEME AND TOPICS OF INTEREST

The twenty-fourth EUROMICRO Conference on Real-Time Systems
(ECRTS’12) is a forum aimed at covering state-of-the-art research and
development in real-time computing. Papers on all aspects of real-
time systems are welcome. These include, but are not limited to:

APPLICATIONS: consumer electronics; multimedia and entertainment;
process control; avionics, aerospace; automotive; telecommunications;
cyber-physical systems.

INFRASTRUCTURE AND HARDWARE: communication networks; embedded
devices; hardware/software co-design; power-aware and other resource-
constrained techniques; system-on-chip; time engines and time
synchronization; wireless sensor networks.

SOFTWARE TECHNOLOGIES: compiler support; component-based approaches;
middleware and distribution technologies; programming languages and
operating systems.

SYSTEM DESIGN AND ANALYSIS: modelling and formal methods;
probabilistic analysis; quality of service support; reliability,
security and survivability; scheduling and schedulability analysis;
worst-case execution time analysis; validation and verification
techniques.

Continue reading →

Posted in CFP | Comments Off

NSF solicits proposals for the CPS program

Posted on December 19, 2011 by Sathish Gopalakrishnan

The goal of the CPS program is to develop the core system science needed to engineer complex cyber-physical systems upon which people can depend with high confidence. The program aims to foster a research community committed to advancing research and education in CPS and to transitioning CPS science and technology into engineering practice. By abstracting from the particulars of specific systems and application domains, the CPS program aims to reveal cross-cutting fundamental scientific and engineering principles that underpin the integration of cyber and physical elements across all application sectors. To expedite and accelerate the realization of cyber-physical systems in a wide range of applications, the CPS program also supports the development of methods, tools, and hardware and software components based upon these cross-cutting principles, along with validation of the principles via prototypes and test beds.

More details: NSF link

Important dates

* Full Proposal Window: February 15, 2012 – March 15, 2012
* Full Proposal Window: December 17, 2012 – January 22, 2013
* Proposals will be accepted only within these windows.

Posted in Announcements | Comments Off