Publication

Rigorous System Design

Related publications (26)

A Proposition for a Design Method of Service Systems

This research is in the domain of service science and proposes a method for designing service systems. We consider three levels of design – individual, organizational, and implementation. The proposed design method links these three levels by explicit inpu ...

2017

Smart Living Building Research Program - Executive Summary

Vanda Carla Costa Grisel, Emmanuel Rey, Marilyne Andersen, Cédric Liardet, Thomas Bernard Paul Jusselme, Arianna Brambilla, Endrit Hoxha, Stefano Cozza, Amélie Zizou Gisèle Renée Poncety, Didier Albert Simon Vuarnoz

The smart living lab project is a pioneering, inter-disciplinary and inter-institutional platform that combines several fields of research related to construction technologies. It aims to be a center of national scope, recognized on an international level ...

2017

Algorithmic Verification of Component-based Systems

Qiang Wang

This dissertation discusses algorithmic verification techniques for concurrent component-based systems modeled in the Behavior-Interaction-Priority (BIP) framework with both bounded and unbounded concurrency. BIP is a component framework for mixed software ...

EPFL2017

数字化图解静力学设计方法 — 建筑师和结构工程师共享的设计工具 (Digital Graphic Statics – Shared Design Tools for Architects and Engineers)

Corentin Jean Dominique Fivet

Aware of its heavy environmental impact, the construction industry is on the lookout for new tools that provide a closer control of the end performance of buildings, e.g. the energy and volume of materials that they demand and their ability to be repaired ...

2017

Path to AWAKE: Evolution of the concept

Gennady Plyushchev, Hua Zhang, Frank Zimmermann, Yiming Li, Shuai Liu

This paper describes the conceptual steps in reaching the design of the AWAKE experiment currently under construction at CERN. We start with an introduction to plasma wakefield acceleration and the motivation for using proton drivers. We then describe the ...

Elsevier Science Bv2016

Designing modeling notations readers understand

George Popescu

[Context] IT modelers create models to communicate their conceptualization of an organization and to facilitate the collaboration between business and IT people. The story they convey in their models is how the corporate IT systems fulfill the business peo ...

EPFL2016