3rd Workshop on Software Techniques for Engineering Cyber-Physical Systems
CASCON 2023
Monday, Sept. 11, Time: 1:00 - 6:00 PST, Session ID: WKS 4902, Room Number: 107
CASCON 2023
Monday, Sept. 11, Time: 1:00 - 6:00 PST, Session ID: WKS 4902, Room Number: 107
Discuss and debate novel tools and techniques to meet the design, deployment, scalability, performance, operation, and security challenges of CPSs
Cyber-Physical Systems (CPSs) refer to systems comprising of software components, physical components and social entities which monitor, control, and coordinate processes within a physical environment. CPSs apply to a wide range of mission-critical applications that span from the intelligent management of logistics in complex supply chains, advanced manufacturing systems and smart contracts, all the way to autonomous systems, and systems that support the smart interactions between humans and machines (M2H), or between machines (M2M). The workshop aims to bring together leading researchers, experts from software and hardware companies, as well as a network of technology leaders to discuss and debate various topics of Software Development of Cyber-Physical Systems related to Requirements Elicitation, Modeling and Analysis of CPSs, DevOps and Continuous Development and Evolution for CPSs, Scalable Architectures for Efficient Deployment and Complexity Management, Adaptation, Performance and Control, Security Frameworks for CPSs, and Run-time Operation Frameworks and Data Management for CPSs
Requirements engineering for CPSs constitutes an even greater challenge than that for conventional software.
Continuous development operations (DevOps) processes and toolchains that minimize deployment risks.
Adoption of serverless resources with cloud services for CPSs, CPS-enabled middleware abstractions, effcient event filtering.
Formal performance models for CPS container-deployed applications, as well as efficient runtime application and platform adaptation for container based CPS services.
Synergy of system requirements, monitoring, and component dependencies, with emphasis on security pattern-based monitoring frameworks, and assessing and quantifying trust of service components.
Big data management techniques that are tailored for the type of data prevalent in CPSs (streaming data, heterogeneous data, timestamped non-reconciled data etc.) as well as run-time infrastructure for the identification of abnormal or error-indicating behavior.
Kostas Kontogiannis <kkontog@yorku.ca>
John Mylopoulos <jm@cs.toronto.edu>
Daniel Amyot <damyot@uottawa.ca>