CAP2019-07-15T20:35:50+00:00

CAP: Computer Architecture & Platforms

CAP 2019 Program

CAP 1: Computer Architecture & Platforms
Wednesday July 17, 8:00 – 9:30
Location: AMU 163

Session Chair: Cristina Seceleanu, Malärdalen University, Sweden

Invited Talk: Actor-based Design Platform for System of Systems
Marjan Sirjani

Abstract: Collaborating systems consist of interdependent systems that collaborate to realise a common goal. Such systems are formed by synergetic collaboration among distributed systems and evolve dynamically. Integrated manufacturing systems, enterprise information systems and collaborative transportation systems are examples of collaborating systems.
In this talk I present a family of actor-based languages that are used for modeling, verification and analysis of collaborating systems.
I focus on a platform for designing flow management systems, like in Intelligent Transportation Systems. The platform can be used for improving safety, increasing efficiency, enhance mobility, reduce power consumption and environmental cost, and increase economic productivity.

Bio: Marjan Sirjani is a Professor and chair of Software Engineering at Mälardalen University, and the leader of Cyber-Physical Systems Analysis research group. Her main research interest is applying formal methods in Software Engineering. She works on modeling and verification of concurrent, distributed, and self-adaptive systems. Marjan and her research group are pioneers in building model checking tools, compositional verification theories, and state-space reduction techniques for actor-based models. She has been working on analyzing actors since 2001 using the modeling language Rebeca (http://www.rebeca-lang.org). Rebeca and its extensions are designed to bridge the gap between model-based software development and formal analysis, and has been used for analyzing different network and system applications. Her research is now focused on safety assurance and performance evaluation of self-adaptive systems, in which she is collaborating with Ptolemy group at UC Berkeley. Marjan has been the PC member and PC chair of several international conferences including SEFM, iFM, Coordination, FM, FMICS, SAC, FSEN. She is an editor of the journal of Science of Computer Programming. Before joining academia as a full-time faculty, she has been the managing director of Behin System Company for more than ten years, developing software and providing system services. Marjan served as the head of the Software Engineering Department of School of Electrical and Computer Engineering at the University of Tehran prior to joining the School of Computer Science at Reykjavik University in 2008.

Detecting Malicious Attacks Exploiting Hardware Vulnerabilities Using Performance Counters
Congmiao Li and Jean-Luc Gaudiot

CAP 2: Computer Architectures & Platforms
Wednesday July 17,  1:00 – 2:30
Location: AMU 163

Session Chair: Cristina Seceleanu, Malärdalen University, Sweden

Research on Index Mechanism of HBase Based on Coprocessor for Sensor Data
Feng Ye, Songjie Zhu, Yuansheng Lou, Yong Chen, Qian Huang and Zihao Liu

Testing Performance-Isolation in Multi-core Systems
Jakob Danielsson, Marcus Jägemar, Tiberiu Seceleanu, Moris Behnam and Mikael Sjödin

Call for Papers

The Computer Architecture & Platforms Symposium (CAP) aims at bringing together researchers and practitioners that study and build computer systems consisting of disparate components, using different metrics and methods, but providing synergetic effects.  These systems usually act as reusable supporting platforms for a wide range of applications, potentially restricted by specific domains.
CAP is uniquely positioned within COMPSAC to address relevant topics related to the conception, design, deployment and utilization of a variety of architectures and platforms – from mobile to networked data centers. Non-limiting topics include:
  • requirements analysis
  • co-analysis, co-design and co-verification
  • modeling, design, development, testing, measurement, verification and validation for function, performance, safety, security, and dependability constraints of cyber-physical systems and networked systems.
The effective construction of computing systems is not restricted solely to the field of computer science and engineering, but it is truly a multidisciplinary effort. Multidisciplinary work, research and development of software prototypes, industry-university collaborations, all based on emerging and critical concepts and technologies are of particular interest to this symposium.


CAP Symposium Chairs

Cristina Seceleanu, Malärdalen University, Sweden
Email: cristina.seceleanu@mdh.se

Keji Kimura, Waseda University, Japan
Email: kimura@apal.cs.waseda.ac.jp

Program Committee

Xiaoying Bai, Tsinghua University, China
Fevzi Belli, University of Paderborn, Germany
Jan Bosch, Chalmers University of Technology, Sweden
Michele Bugliesi, University Ca’Foscari
Chun-Hsian Huang, National Taitung University, Taiwan
Hironori Kasahara, Waseda University, Japan
Ron Kennett, KPA Ltd., University of Torino, Italy
Khalid Latif, Aalto University
Henrik Lonn, Volvo Group Trucks Technology, Sweden
Hong Lu, Simula Research Laboratory
Bruce McMillin, Missouri University of Science & Technology, USA
Hideya Ochiai, The University of Tokyo, Japan
Takatsugu Ono, Kyushu University, Japan
Ina Schieferdecker, FU Berlin/Fraunhofer FOKUS, Germany
Cristina Seceleanu, Mälardalen University, Sweden
Tibi Seceleanu, ABB, Sweden
Mikael Sjödin, Mälardalen University, Sweden
Detlef Streitferdt, University of Ilmenau, Sweden
Rajesh Subramanyan, Siemens, USA
Dragos Truscan, Åbo Akademi, Finland
Feng-Jian Wang, National Chiao-Tung University, Taiwan
Takashi Yamanoue, Kagoshima University, Japan