posted by organizer: lhstrh || 1393 views || tracked by 2 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

ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
IJP2P 2024   International Journal of Peer-to-Peer networks
CPSAT 2024   The 5th CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory)
CPSIoTSec 2024   The 6th Joint Workshop on CPS & IoT Security and Privacy
Call for Chapters - CRC Press 2024   Internet of Things: Challenges and Advances
FedCSIS 2024   19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
IEEE EDiS 2024   The 4th IEEE International Conference on Embedded and Distributed Systems
BRAINS 2024   6th Conference on Blockchain Research & Applications for Innovative Networks and Services
IJPLA 2024   International Journal of Programming Languages and Applications
Data-Centric AI 2024   CfP: Special Issue on Data-Centric AI (JIIS)