Complex Systems Design & Management Asia : Designing Smart Cities: Proceedings of the First Asia - Pacific Conference on Complex Systems Design & Management, CSD & M Asia 2014

This book contains all refereed papers that were accepted to the first edition of the Asia-Pacific conference on « Complex Systems Design & Management » (CSD&M Asia 2014) that took place in Singapore from December 10 to December 12, 2014 (Website: http://www.2014.csdm-asia.net/). These proceedings cover the most recent trends in the emerging field of Complex Systems, both from an academic and a professional perspective. A special focus is put on Designing Smart cities. The CSD&M Asia 2014 conference is organized under the guidance of the Center of Excellence on Systems Architecture, Management, Economy and Strategy, CESAMES, non-profit organization, address: CESAMES, 8 rue de Hanovre, 75002 Paris, France ( Website : http://www.cesames.net/en). Complex Systems Design & Management Asia Foreword 5 Preface 8 Conference Organization 12 Contents 16 Part I Invited and Regular Papers 23 Model Checking of Energy Consumption Behavior 24 1 Introduction 24 2 Model-Based Analysis 25 2.1 Energy Consumption Behavior 25 2.2 Energy Consumption Properties 27 3 Behavioral Model 28 3.1 Power Consumption Automaton 28 3.2 Operational Semantics 29 4 Property Specification 30 4.1 Syntax 30 4.2 Semantics 31 5 Model Checking 31 6 Related Work 32 7 Conclusion 33 References 34 UNISENSE: A Unified and Sustainable Sensing and Transport Architecture for Large Scale and Heterogeneous Sensor Networks 36 1 Introduction 36 1.1 Background 36 1.2 Motivation 36 1.3 Contributions 37 1.4 Organization of the Paper 38 2 The UNISENSE Architecture 38 2.1 Overview 38 2.2 Application Profiling 39 2.3 Node Architecture 39 2.4 Intelligent Network Design 40 2.5 Network Management and Visualization 41 2.6 Deep Sensing 41 2.7 Generalized Participatory Sensing 41 2.8 Security, Privacy, and Trust 42 3 Case Studies 42 3.1 Urban Noise Monitoring 42 3.2 Public Infrastructure Monitoring (Smart Bins) 43 3.3 Event Management (CuteBit) 44 3.4 Vertical Farming Monitoring 44 3.5 Practical Issues and Lessons Learnt 45 4 Related Work and Competitive Advantages 45 5 Conclusion and OngoingWork 46 References 47 Black-Box Optimization of Lighting Simulation in Architectural Design 48 1 Introduction 48 2 Application to Architectural Design 50 3 The Radial Basis Function Method 53 3.1 Selection of the Initial Points 54 3.2 Selection of the Next Evaluation Point 55 3.3 Extensions 56 3.4 Open-Source Implementation 58 References 59 Aligning Cyber-Physical System Safety and Security 61 1 Introduction 62 2 Related Work 63 2.1 CPS Safety 63 2.2 CPS Security 65 2.3 Safety and Security Integration 67 3 Integrated CPS Safety and Security Lifecycle Process 68 4 CPS Safety and Security Alignment Using Failure Attack-Countermeasure Graph 69 5 FACT Graph Example 70 6 Conclusions 72 References 72 Singapore Road Vehicle Fleet Evolution 74 1 Introduction 74 2 Model Structu ure and Data Source 75 3 Building ks Block of Fleet Model 76 3.1 New Registratio on of Motor Vehicles 76 3.2 Survival Rate a and Lifetime Distribution 76 3.3 Vehicle Kilome eters Travelled (VKT) 82 3.4 Vehicle Fuel U Use 82 3.5 Greenhouse as Ga (GHG) Emissions 84 4 Model Finding gs 85 5 Future Work 89 6 Conclusions 89 References 89 Design and Management of Flexible On-Shore LNG Production Engineering Systems 91 1 Introduction 91 2 Background and Motivation 92 2.1 Flexibility in Engineering Design 92 2.2 Simulation Based Flexibility Analysis 93 2.3 LNG Production System Design 93 3 Scope and Pro blem Definition 94 4 Methodology 95 4.1 Step 1: Deterministic Analysis 95 4.2 Step 2: Uncertainty Analysis 95 4.3 Step 3: Flexibility Analysis 96 4.4 Step 4: Sensitivity Analysis 96 5 Application and Discussion 97 5.1 Modeling Assumptions 97 5.2 Step 1: Deterministic Analysis 97 5.3 Step 2: Uncertainty Analysis 98 5.4 Step 3: Flexibility Analysis 98 5.5 Step 4: Sensitivity Analysis 100 6 Conclusion 101 References 102 Optimising Complex Networked Systems Availability 104 1 Introduction 104 2 System Level Availability 105 3 Networked System Availabity 107 3.1 Analysing Networked System Availability 107 4 Extending Network Ao Computation 109 4.1 Mission Ao / Probability of Mission Ao 109 4.2 Matrix of System-to-System Ao 109 5 Introducing ODIN 110 5.1 ODIN Methodologies 110 5.2 ODIN Tool Architecture 112 6 Implementation and Case Studies 112 6.1 Case Study 1: Networked System Architecture Evaluation 112 6.2 Case Study 2: Networked System Resource Optimisation 113 7 Potential Applications 114 8 Conclusion 115 References 115 Engineering Singapore’s Land Transport System 116 1 Formulation of Goals 116 2 Mission 116 3 Vision 117 4 Goals 117 5 Boundaries, Complexities and Integration 118 6 System Complexity: Integration of Land Use, Town and Transport Planning 118 7 Dynamic Complexity: Integration over Time 119 8 Behavioural Complexity 120 9 Behaviour Complexity: Integration across Organizations 120 10 Sustainable Development 121 11 Increasing Capacity through Use of Technologies 122 12 Vehicle Growth 123 13 Public Transport System 123 14 Choice of Public Transport Services 123 15 Customer Oriented Services 124 16 Integration of Public Transport Services 124 17 Ensure Physical Accessibility for All 125 18 Affordable Public Transport for Lower-Income Singaporeans 125 19 Facilitate Cycling 125 20 Conclusions 126 References 126 Domain-Spanning Change Propagation in Changing Technical Systems 127 1 Introduction 127 2 Theoretical Background 128 3 Approach for D Domain-Spanning Change Propagation 129 3.1 Step 1: Causes f for Change 129 3.2 Step 2: Direct L Link to Product Architecture 130 3.3 Step 3: Domain n-Spanning Impact Analysis 130 3.4 Step 4: Analysis of Change Effects in Product Architecture 132 4 Case Study for r the Domain-Spanning Change Analysis 133 4.1 Background f of the Case Study 133 4.2 Step 1: Causes for Change 134 4.3 Step 2: Direct Link to Product Architecture 134 4.4 Step 3: Domain-Spanning Impact Analysis and Step 4: Analysis of Change Effects in Product Architecture 134 5 Discussion 137 6 Conclusion 137 7 Outlook 138 References 138 Policy Design, Planning, and Management in Global Systems Science 140 1 Motivation 140 2 Design and the Science of Multilevel Social Systems 141 3 Design, Planning and Management 144 4 Global System Science 145 5 Policy Design, Planning, and Management in Global Systems Science 146 6 Conclusions 147 References 147 Thinking about the Future of Complex Technological Systems: Which Technologies Should Shape Their Designs? 148 1 Introduction 148 2 Technologies Experiencing Rapid Improvements 149 3 Implications for Transportation Systems 150 4 Discussion 152 References 155 Author Index 156 Front Matter....Pages 1-21 Front Matter....Pages 1-1 Model Checking of Energy Consumption Behavior....Pages 3-14 UNISENSE: A Unified and Sustainable Sensing and Transport Architecture for Large Scale and Heterogeneous Sensor Networks....Pages 15-26 Black-Box Optimization of Lighting Simulation in Architectural Design....Pages 27-39 Aligning Cyber-Physical System Safety and Security....Pages 41-53 Singapore Road Vehicle Fleet Evolution....Pages 55-71 Design and Management of Flexible On-Shore LNG Production Engineering Systems....Pages 73-85 Optimising Complex Networked Systems Availability....Pages 87-98 Engineering Singapore’s Land Transport System....Pages 99-109 Domain-Spanning Change Propagation in Changing Technical Systems....Pages 111-123 Policy Design, Planning, and Management in Global Systems Science....Pages 125-132 Thinking about the Future of Complex Technological Systems: Which Technologies Should Shape Their Designs?....Pages 133-140 Back Matter....Pages 141-162 Annotation This book contains all refereed papers that were accepted to the first edition of the Complex Systems Design & Management Asia (CSD & M Asia 2014) international conference that took place in Singapore from December 10 to December 12, 2014. These proceedings cover the most recent trends in the emerging field of Complex Systems, both from an academic and a professional perspective. A special focus is put on Designing Smart cities. The CSD & M Asia 2014 conference is organized under the guidance of the Center of Excellence on Systems Architecture, Management, Economy and Strategy, CESAMES, non-profit organization, address: CESAMES, 8 rue de Hanovre, 75002 Paris, France