ICONS 2015, The Tenth International Conference on Systems

Type: conference

Notes: IARIA Conference.

Editors:
Leszek Koszalka, Wroclaw University of Technology, Poland
Pascal Lorenz, University of Haute Alsace, France

ISSN: 2308-4243

ISBN: 978-1-61208-399-5

Location: Barcelona, Spain

Dates: from April 19, 2015 to April 24, 2015

Articles: there are 24 articles

Towards a Formal Semantics for System Calls in terms of Information Flow
Laurent Georget, Guillaume Piolle, Frédéric Tronel, Valérie Viêt Triem Tong, and Mathieu Jaume
keywords: Operating Systems; Security; System Calls; Information Flow

Secure Communication in a Heterogeneous Sensor System
Ondrej Cožík, Jaroslav Kadlec, and Radek Kuchta
keywords: RF network; TLS protocol; Diffie-Hellman protocol; GDH.3 protocol

Implementation of a Group Encryption System in a Cloud-based Environment
Tomasz Hyla
keywords: group encryption; cloud; mobile device; architecture; bilinear mapping

The Fuzzy Logic in the Location-based Authentication
David Jaroš, Zdenka Kuchtová, Radek Kuchta, and Jaroslav Kadlec
keywords: fuzzy logic; authentication; location; biometric data

Creating an ITIL-based Multidimensional Incident Analytics Method: A Case Study
Kari Saarelainen and Marko Jäntti
keywords: IT service management; ITIL; continual service improvement; incident management, root cause; categorization

MZZ-GA Algorithm for Solving Path Optimization in 3D Printing
Mateusz Wojcik, Leszek Koszalka, Iwona Pozniak-Koszalka, and Andrzej Kasprzak
keywords: algorithm; pathfinding; printing; optimization; simulation experiments

Partial GMP-CS-LBP Face Recognition using Image Subblocks
Soodeh Nikan and Majid Ahmadi
keywords: face recognition; block based; effective subregion; partial image

IPOL - A Domain Specific Language for Image Processing Applications
Christian Hartmann, Marc Reichenbach, and Dietmar Fey
keywords: DSL, design flow, image processing

Automatic Lighting Control System and Architecture Using Ambient Light Sensor
Hyun-Chul Kang, Jung-Sik Sung, Seong-Hee Park, Hyun-Joo Kang, Jong-Woo Choi, and Tae-Gyu Kang
keywords: automatic , lighting control, ambient light sensor.

Robustness Analysis for Indoor Lighting Systems
Richard Doornbos, Jacques Verriet, and Mark Verberkt
keywords: distributed systems; system robustness; model checking; Uppaal; indoor lighting systems.

Smart City Aspects, Services and Application
Radovan Novotný, Zdenka Kuchtová, Radek Kuchta, Jaroslav Kadlec, and Radimír Vrba
keywords: smart, city, survey, connection, communication platform, sensor, network, data, service

Subspace Identification Methods and Multivariable Control for a Doubly-fed Induction Generator
Danna Lisseth Albarracín Ávila and Eduardo Giraldo
keywords: subspace identification; parameters estimated; wind turbine; multivariable system; integral controller.

Dynamic Configuration of Distributed Systems for Disaster Management
Florian Segor, Igor Tchouchenkov, Rainer Schoenbein, Matthias Kollmann, Christian Frey, Stefan Rilling, and Rainer Worst
keywords: Distributed system, disaster management, dynamic configuration, modular, hierarchical, ROS, XML, heterogeneous sensors, robotics

A Dynamic FPGA-based Hardware-in-the-Loop Co-simulation and Prototype Testing Platform
Clément Foucher and Alexandre Nketsa
keywords: Co-simulation; Prototyping; Hardware-in-the-Loop; Reconfigurable Architectures.

A Contribution to the Evaluation of NAND Flash Memory
Jaroslav Kadlec, Radek Kuchta, Radovan Novotný, and Zdenka Kuchtová
keywords: flash memory; non-volatile; bit error rate; error correction code; architecture; reliability

Multichannel Laboratory Equipment for Measurement of Smart Concrete Material Properties
Ladislav Machan and Pavel Steffan
keywords: smart concrete; dynamic measurement; long-period measurement

The Modified Cement Composite Materials for Electromagnetic Shielding and Stress Detections
Pavel Steffan, Ladislav Machan, Radimir Vrba, Jiri Junek, and Rene Cechmanek
keywords: smart concrete; shielding efficiency; composite materials; carbon fibers; stress/strain detection

Software Integration of a Safety-critical ECU: an Experience Report
Ieroklis Symeonidis, Niklas Angebrand, Kostas Beretis, and Eric Envall
keywords: automotive software; AUTOSAR; embedded systems; integration; ISO26262

Natural Language Processing of Textual Requirements
Andres Arellano, Edward Carney, and Mark Austin
keywords: Systems Engineering; Ontologies; Natural Language Processing; Requirements; Rule Checking

A Practical Approach to Software Continuous Delivery
Everton Gomede and Rodolfo M. Barros
keywords: Continuous Delivery; Process Quality

Meta-Theory and Machine-Intelligent Modeling of Systemic Changes for the Resilience of a Complex System
Roberto Legaspi and Hiroshi Maruyama
keywords: dynamic system theories; resilience theories; system evolution theories; intelligent systems

Autonomic Duty Cycling for Target Tracking in a Bio-Inspired Wireless Sensor Network
Camila Helena Souza Oliveira and Miguel Franklin de Castro
keywords: Duty cycling, WSNs, Tracking

Tubes and Metrics for Solving the Dilemma-Zone Problem
Leonard Petnga and Mark Austin
keywords: Metrics, Cyber-Physical Transportation Systems, Artificial Intelligence, Safety

Indoor Smartphone Localization with Auto-Adaptive Dead Reckoning
Nils Becker, Michael Jäger, and Sebastian Süß
keywords: Indoor Smartphone Localization with Auto-Adaptive Dead Reckoning