posted by organizer: lhstrh || 305 views || tracked by 1 users: [display]

TCRS 2023 : 1st Workshop on Time-Centric Reactive Software at CPS-IoT Week '23

FacebookTwitterLinkedInGoogle

Link: https://www.tcrs.io
 
When May 9, 2023 - May 9, 2023
Where San Antonio, Texas
Submission Deadline Feb 10, 2023
Notification Due Mar 3, 2023
Final Version Due Mar 17, 2023
Categories    reactive software   real-time software   distributed systems   cyber-physical systems
 

Call For Papers

We invite contributions focused on time-centric reactive software and supporting technologies.

Topics

Contributions may overlap with any of the following areas:

Automotive systems
Compiler construction
Computer architecture
Cyber-physical systems
Digital twins
Dataflow models
Discrete-event systems
Distributed systems
Design automation
Embedded systems
Formal verification
Industrial automation
Programming languages
Model-based Design
Modeling languages
Middleware
Networking
Operating systems
Real-time systems
Simulation
System-level design
Time-predictable hardware


Motivation

Concurrent, distributed, and cyber-physical software systems all have behaviors that depend on timing. Aspects of time are of interest to the broad CPS/IoT community, but they rarely play an explicit role in the semantics of software systems. Instead, timing is usually an emergent property of an implementation. This workshop will focus on several bodies of work at various institutions worldwide that put time front-and-center in programming models and languages. Recently, there has been a flurry of activity introducing new programming languages and models, such as Timed C, Lingua Franca, the Sparse Synchronous Model, PRET-C, and SCCharts. The goal of the workshop is to exchange experiences and ideas, to compare the variety of approaches, and to identify the most promising opportunities and the most challenging obstacles.

Technical issues of interest include models of time (total and partial orders, dense, superdense, etc.), programming language constructs representing time, time in distributed systems, analysis and verification of temporal properties of programs, logical vs. physical time, clock synchronization, time and concurrency, scheduling, time in resource-constrained embedded systems, application studies, etc. More generally, we hope to build a community around a long-term vision, which is that modern computing needs abstractions for time in all layers of our technology stacks, ranging from programming languages and compilers all the way down to networks and microprocessor architectures. This workshop is meant to attract contributors broadly interested in exploring models, languages, tools and design methodologies for time-centric reactive systems.

Format and Logistics

The workshop is planned to be a full-day event. The program is expected to consist of about a dozen presented papers and one or two invited/keynote talks. Since this is the first iteration of this workshop, it will be hard to predict how many submissions we will receive. We solicit both invited papers and regular uninvited submissions; all will be subject to peer-review. The proceedings will be published by the ACM.


Important Dates

February 10, 2023: Submission deadline
March 3, 2023: Author notification
March 17, 2023: Camera-ready submission

Submissions

All submissions must be in English. Only original papers that have not been submitted or published in other conferences or journals will be considered. Submitted papers must be formatted using the ACM sigconf format (see authors.acm.org) and not exceed 6 pages. The page limit includes title page, references, and appendices. The review process is blind (not double-blind); please do not submit anonymized manuscripts.
Guidelines from the ACM

By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM’s new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy. For more information, visit acm.org.

Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improving author discoverability, ensuring proper attribution, and contributing to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.

Related Resources

EDUR 2023   International Conference on Educational Research
MEN 2023   6th International Conference on Mechanical Engineering
IJP2P 2023   International Journal of Peer-to-Peer networks
IET-CPS-SI:IoT-based Secure Health 2023   Special issue on IoT-based Secure Health Monitoring and Tracking through Estimated Computing
DAPPS 2023   IEEE DAPPS 2023 - The 5th IEEE International Conference On Decentralized Applications And Infrastructures
RTAS 2023   29th IEEE Real-Time and Embedded Technology and Applications Symposium
ITISE 2023   International conference on Time Series and Forecasting
ACM CPSS 2023   9th ACM Cyber-Physical System Security Workshop
blockchain_ml_iot 2023   Network (MDPI) Special Issue - Blockchain and Machine Learning for IoT: Security and Privacy Challenges
SOMET 2023   SOMET 2023 : The 22nd International Conference on Intelligent Software Methodologies, Tools, and Techniques