International Journal On Advances in Systems and Measurements, volume 6, numbers 3 and 4, 2013

Type: journal

Notes: A free access journal featuring works submitted on an invitation basis only.

ISSN: 1942-261x

Articles: there are 13 articles

Modeling of Expert Knowledge for Maritime Situation Assessment
Yvonne Fischer and Jürgen Beyerer
keywords: surveillance system; situation awareness; situation assessment; data fusion; dynamic Bayesian networks; probabilistic reasoning

Urban Area Energy Flow Microsimulation for Planning Support: a Calibration and Verification Study
Diane Perez, Jérôme Henri Kämpf, and Jean-Louis Scartezzini
keywords: urban energy flow simulation, heating demand simulation, calibration, verification, monitored energy consumption, energy demand and supply

Design Space Exploration of Many-Core NoCs Based on Queueing-Theoretic Models
Erik Fischer, David Öhmann, Albrecht Fehske, and Gerhard P. Fettweis
keywords: network-on chip; queueing theory; design space exploration; router model; transient behavior

Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems
Lina Ye and Philippe Dague
keywords: joint diagnosability, self-observed systems, finite state machine, Post’s Correspondence Problem, undecidability

Monitoring Virtualized Infrastructure in the Context of Grid Job Execution
Jiří Sitera, Zdeněk Šustr, Boris Parák, and Daniel Kouřil
keywords: grid; cloud; virtualization; monitoring; relationship

Static Preprocessing for Automated Structural Testing of Simulink Models
Benjamin Wilmes
keywords: Search-Based Testing, Static Preprocessing, Automotive Industry, Simulink

Sick But Not Dead Failures - Adaptive Testing, Evaluation and Design Methodologies
Tara Astigarraga, Michael Browne, Lou Dickens, and Ian MacQuarrie
keywords: Keywords- Software Testing, Sick but not Dead, Software Engineering, Partial Failure, Transient Error, Soft Failure, SAN Test, Storage Area Network Test, System Test.

Towards Evolvable State Machines and their Applications
Dirk van der Linden, Wim Ploegaerts, Georg Neugschwandtner, and Herwig Mannaert
keywords: Normalized Systems ; Evolvability; Finite State Machines; Automation Systems; Information Technology.

Sustainable Multiprocessor Real-Time Scheduling with Exact Preemption Cost
Falou Ndoye and Yves Sorel
keywords: multiprocessor real-time scheduling; partitioned scheduling; exact preemption cost; sustainable; load balancing.

Multilevel Flash Memories: Channel Modeling, Capacities and Optimal Coding Rates
Xiujie Huang, Aleksandar Kavcic, Xiao Ma, Guiqiang Dong, and Tong Zhang
keywords: Amplitude-modulation channel; channel capacity; input-dependent additive Gaussian noise; multilevel flash memory; optimal coding rate.

Enhanced Design Conditions for Decentralized State-Space Control of Systems with Relevant Interactions
Dusan Krokavec and Anna Filasova
keywords: large-scale systems; decentralized control; stabilizing conditions; linear matrix inequalities; Hinf robust control; control of multi-area power systems;

Rapid Aerial Mapping with Multiple Heterogeneous Unmanned Vehicles
Eduard Santamaria, Florian Segor, Igor Tchouchenkov, and Rainer Schoenbein
keywords: aerial situation image; unmanned aerial vehicles; complete coverage path planning

Time Series Prediction with Automated Periodicity Detection
Michael Schaidnagel and Fritz Laux
keywords: sales prediction, multivariate time series, periodicity mining