posted by user: agherbi || 2860 views || tracked by 7 users: [display]

ITNG-MADERTSS 2011 : ITNG 2011, Modeling and Analysis of Dependable Embedded and Real-time Software Systems Track

FacebookTwitterLinkedInGoogle

Link: http://profs.logti.etsmtl.ca/agherbi/ITNG2011_MADERTS_CFP/ITNG2011_Track_MADERTS_CFP.htm
 
When Apr 11, 2011 - Apr 13, 2011
Where Las Vegas, Nevada, USA
Submission Deadline Oct 15, 2010
Notification Due Nov 26, 2010
Final Version Due Feb 4, 2011
 

Call For Papers

ITNG 2011, Modeling and Analysis of Dependable Embedded and Real-time Software Systems Track, Call for Papers

8th International Conference on Information Technology : New Generations (ITNG 2011)

April 11-13, 2011, Las Vegas, Nevada, USA
www.itng.info

Modeling and Analysis of Dependable Embedded and Real-time Software Systems Track
http://profs.logti.etsmtl.ca/agherbi/ITNG2011_MADERTS_CFP/ITNG2011_Track_MADERTS_CFP.htm

JOURNAL SPECIAL ISSUE: The authors of the best Papers will invited to submit extended versions of their papers to a special issue at
Advances in Engineering Software Journal - Elsevier


Submission Deadline: October 15, 2010


Theme:

Embedded and Real-Time Systems (ERTS) are nowadays deployed in a variety of applications, including automotive, aeronautic/aerospace, health monitoring systems, and house appliances to mention just a few. Very often these systems are critical for life and/or property. Therefore, they are subject to stringent requirements in terms of dependability. The functionality of these systems is increasingly software-based in order to take advantage of software flexibility to enable their maintenance, upgrade and configuration. The model-driven approach is very promising as to coping with the increasing complexity of ERTS. This approach puts the focus on models of higher level of abstraction to enable the correct specification and the analysis of these systems.
The goal of this track is to bring together researchers and practitioners from both the academia and the industry to present, discuss and share their experiences, ideas, innovations, and concerns related to the modeling and analysis of embedded and real time software systems. The scope of this track includes, but is not limited to, the following
Topics:

* Models and Metamodels of embedded and real time software
* Modeling languages and frameworks for embedded and real time systems: SPT, MARTE, SYSML, URN, AADL, etc
* Consistency issue in UML models of embedded and real time systems
* Analysis techniques (schedulability, performance, worst-case execution time, end-to-end flow analysis)
* Model checking techniques for embedded and real time software
* Simulation of embedded and real time software
* Testing of embedded and real time software
* Real time constraints specification and analysis
* Middleware for embedded and real time systems
* Dependability attributes of embedded real time systems including availability, reliability and security
* Configuration and deployment of embedded and real time software
* Maintenance and upgrade of embedded and real time software
* Tool support

Paper Submission:
Papers must represent high quality and previously unpublished work, not currently under review by another conference, workshop, or journal. Your submission should include the author names, complete mailing addresses, telephone and email addresses of the authors. Interested authors should submit a 6-page article of their original and unpublished work including 5 keywords in the IEEE format.
Please submit your paper via the Web-based system at: https://www.softconf.com/b/itng2011

Accepted papers will be included in the conference proceedings published by the IEEE Computer Society and available on the IEEE digital library.

Evaluation Process:
Papers will be evaluated for originality, significance, clarity, and soundness. Per ITNG policy, except for invited papers, all papers will be reviewed by at least two independent reviewers.


Journal Special Issue:
The authors of the best papers that will be accepted for publication in this track will be selected and invited to submit an extended versions to be published in a special issue of the Advances in Engineering Software Journal - Elsevier: http://www.elsevier.com/wps/find/journaldescription.cws_home/422911/description.

Deadlines:
Submission Deadline: October 15, 2010
Author Notification: November 26, 2010
Advance Registration: January 12, 2011
Camera Ready Paper: February 4, 2011
Conference dates: April 11-13, 2011

Track Chair:

Abdelouahed Gherbi
Ecole de Technologie Superieure - Universite du Quebec, Canada
abdelouahed.gherbi@etsmtl.ca

Program Committee:

Huascar Espinoza, ESI-Tecnalia, Spain
Zonghua Gu, Zhejiang University, China
Abdelwahab Hamou-lhadj, Concordia University, Canada
Jamaleddine Hassine, Cisco Systems, Canada
Ruben Heradio Gil, Dept. of Software Engineering and Computer Systems, UNED, Spain
Vasudevan Janarthanan, Fairleigh Dickinson University - Vancouver Campus, Canada
Rajesh Karunamurthy, IBM, Canada
Marc-André Laverdière, TCS Innovation Labs Hyderabad, Tata Consultancy, India
Jagadeesh Nandigam, Grand Valley State University, USA
Isabelle Perseil, INSERM, France
Manas Saksena, Marvell Technology Group, USA
Bran Selic, Malina Software Corp. Canada
Claas Wilke, Software Technology Group, TU Dresden, Germany

Related Resources

ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
IMAACA 2024   International Conference on Integrated Modeling and Analysis in Applied Control and Automation
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
DSN 2024   The 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
BPMDS 2024   Business Process Modeling, Development, and Support
SI_DependXAIdata 2024   SI on Dependable and Reliable Datasets for Explainable Artificial Intelligence and Cyber Security Research
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order