Software & systems engineering and their applications.
Event
CASES 2018
International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2018) CASES is a premier forum where researchers, developers and practitioners exchange information on the latest advances in compilers and architectures for high-performance, low-power embedded systems.
Submitted by Anonymous on January 29th, 2018
Event
ASPLOS 2018
The 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2018) March 24th – March 28th, Williamsburg, VA, USA ASPLOS is the premier forum for multidisciplinary systems research spanning computer architecture and hardware, programming languages and compilers, operating systems and networking. The ASPLOS 2018 will be held in Williamsburg, Virginia, a town that combines a rich slice of American Colonial and Revolutionary history with a modern college atmosphere. 
Submitted by Anonymous on January 26th, 2018
Event
ICGT 2018
11th International Conference on Graph Transformation (ICGT 2018) Part of STAF 24-29 June 2018 24-29 June 2018 | Toulouse, France | https://www.hpi.uni-potsdam.de/giese/events/icgt2018/
Submitted by Anonymous on January 25th, 2018
Event
DSD 2018
21st Euromicro Conference on Digital System Design (DSD 2018) Scope The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high- performance) digital and mixed HW/SW system engineering, covering the whole design trajectory from specification down to micro-architectures, digital circuits and VLSI implementations. It is a forum for researchers and engineers from academia and industry working on advanced investigations, developments and applications.
Submitted by Anonymous on January 25th, 2018
Event
SCOPES 2018
21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018) A next edition of the workshop on Software and Compilers for Embedded Systems  (SCOPES) will be organized in 2017. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA.
Submitted by Anonymous on December 8th, 2017
Coordinated cyber-physical attacks (CCPA) have been touted as a serious threat for several years, where "coordinated" means that attackers have complete knowledge of the physical plant and status, and sometimes can even create physical defects, to assist cyber attacks, and vice versa. In recent years, these attacks have crept from theory to reality, with attacks on vehicles, electrical grids, and industrial plants, which have the potential to cause destruction and even death outside of the digital world. CCPA raise a unique challenge with respect to cyber-physical systems (CPS) safety. Historically, technologies to defend cyber attacks and physical attacks are developed separately under different assumptions and models. For instance, cyber security technologies often require the complete profile of the physical dynamics and the observation of the system state, which may not be available when physical defects exist. Similarly, existing system control techniques may efficiently compensate for the physical damage, but under the assumption that the control software and the sensor data are not compromised. There is a lack of unified approaches against CCPA. With this observation, this project focuses on the development of unified models with coherent set of assumptions, supported by integrated technologies, upon which CCPA can be defended much more effectively. To establish theoretical foundations and engineering principles for resilient CPS architectures, this project will investigate unified models and platforms that represent the scientific understanding of resilient CPS against CCPA. Engineering of CPS will be addressed through the development and integration of complexity-reduced software architectures, along with their design principles, which lead to verifiable and certifiable architectures with higher level of system resilience. Technology of CPS will be addressed through the design of new attack detection, isolation, and recovery tools as well as timing and control techniques to ensure appropriate responses to CCPA. The proposed inherently interdisciplinary research will ensure predictable performance for resilient CPS, by leveraging the disciplinary advances in (i) the design and evaluation of robust fault-tolerant control systems yielding significantly enhanced levels of safety in highly unpredictable environments; (ii) the design and implementation of complexity reduction architecture yielding a significant reduction in the verification time from hours to seconds; (iii) the development of multi-rate sampled-data control and robust reachability-based attack detection techniques ensuring that the sensor data is reliable; and (iv) the development of cyber-physical co-adaptation that optimizes control performance and computation task scheduling to guarantee system safety and efficient recovery from CCPA. The target application of this project is unmanned aerial vehicles (UAVs). The research results will be evaluated in three different testbeds: UAV testbed, generic transportation model (GTM) aircraft, and power system virtual testbed (VTB). The technological advancement from this project will provide solutions for the safety and reliability issues faced by today's CPS and deliver dependable CPS that are applicable without sacrificing functionality or accessibility in complex and potentially hostile networked environment. The results of this project will be communicated in archival journal publications, conference venues and various workshops and lectures, and will be integrated at different academic levels.
Off
University of Illinois at Urbana-Champaign
-
National Science Foundation
Petros Voulgaris
Naira Hovakimyan Submitted by Naira Hovakimyan on November 28th, 2017
Event
CONCUR 2018
The 29th International Conference on Concurrency Theory (CONCUR 2018) Beijing, China | September 4-7, 2018 | http://lcs.ios.ac.cn/concur2018/
Submitted by Anonymous on November 21st, 2017
Event
SEAMS 2018
The 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) SEAMS 2018 is co-located with the 40th International Conference on Software Engineering (ICSE 2018) Follow SEAMS2018
Submitted by Anonymous on October 24th, 2017
Event
CF '18
ACM International Conference on Computing Frontiers 2018 (CF'18) The next ACM International Conference on Computing Frontiers will be held May 8 - 10 in Ischia, Italy. Computing Frontiers is an eclectic, collaborative community of researchers who investigate emerging technologies in the broad field of computing: our common goal is to drive the scientific breakthroughs that transform society.
Submitted by Anonymous on October 6th, 2017
Event
ARCS 2018
CALL FOR PAPERS, WORKSHOPS, & TUTORIALS 31st International Conference on Architecture of Computing Systems (ARC 2018) April 09 -12, 2018 | Braunschweig, Germany at the Technical University of Braunschweig | http://arcs2018.itec.kit.edu/
Submitted by Anonymous on October 5th, 2017
Subscribe to Architectures