The proceedings contain 29 papers. The topics discussed include: layered and collecting NDFS with subsumption for parametric timed automata;offline timed pattern matching under uncertainty;HOMESCAN: scrutinizing imple...
ISBN:
(纸本)9781538693414
The proceedings contain 29 papers. The topics discussed include: layered and collecting NDFS with subsumption for parametric timed automata;offline timed pattern matching under uncertainty;HOMESCAN: scrutinizing implementations of smart home integrations;state compression based on one-sided communications for distributed model checking;towards mining comprehensive android sandboxes;cultural influences on the requirements engineering process: lessons learned from practice;modeling and verification of large-scale sensor network infrastructures;and multi-level multi-stage agent-based decision support system for simulation of crowd dynamics.
The proceedings contain 35 papers. The topics discussed include: verifying statecharts with state invariants;verifying semistructured data normalization using PVS;a scalable approach to multi-style architectural model...
详细信息
ISBN:
(纸本)0769531393
The proceedings contain 35 papers. The topics discussed include: verifying statecharts with state invariants;verifying semistructured data normalization using PVS;a scalable approach to multi-style architectural modeling and verification;revisiting size realizability of message charts specifications;iPSL: an environment for IP-based PSL specification;task mapping in heterogeneous MPSoCs for system level design;high-precision relative clock synchronization using time stamp counters;integrated real-time scheduling and communication with probabilistic timing assurances in unreliable distributed systems;a formal model of semantic Web service ontology (WSO) execution;GENESIS- a framework for automatic generation and steering of testbeds of complex Web service;and ambient intelligence applications: introducing the campus framework.
The proceedings contain 38 papers. The topics discussed include: WCET analysis of component-based systems using timing traces;memory positioning of real-time code for smaller worst-case execution times;tighter schedul...
ISBN:
(纸本)9780769543819
The proceedings contain 38 papers. The topics discussed include: WCET analysis of component-based systems using timing traces;memory positioning of real-time code for smaller worst-case execution times;tighter schedulability analysis of synchronization protocols based on overrun without payback for hierarchical scheduling frameworks;a model-driven framework for the development of portable real-time embedded systems;timed circus: timed CSP with the miracle;modeling variability from requirements to runtime;model-based simulation of SOAP web services from temporal logic specifications;a fully dynamic approach to the reverse engineering of UML sequence diagrams;using model transformation to generate graphical counter-examples for the formal analysis of xUML models;modelling and analysing standard use within system of systems;and a component-oriented metamodel for the modernization of software applications.
The proceedings contain 40 papers. The topics discussed include: modular synthesis of discrete controllers;achieving discrete relative timing with untimed process algebra;model checking-based verification of web appli...
详细信息
ISBN:
(纸本)0769528953
The proceedings contain 40 papers. The topics discussed include: modular synthesis of discrete controllers;achieving discrete relative timing with untimed process algebra;model checking-based verification of web applications;a formal model for compensable transactions;a formal semantic model of the semantic web service ontology (WSMO);a novel approach to the detecting of cheating in multiplayer online games;reasoning about nonblocking concurrency using reduction;a combine approach for information flow analysis in fault tolerant hardware;a registry for sensor network discovery;an agent based approach to examining shared situation awareness;product line enabled intelligent mobile middleware;a formal contract language for plugin-based software engineering;architectural design methodologies for complex evolving systems;and communicating software architecture using a unified single-view visualization.
The proceedings contain 47 papers. The topics discussed include: continuous model driven engineering;on the increasing complexity of multimedia service provision in next generation networks and the future internet;a p...
ISBN:
(纸本)9780769537023
The proceedings contain 47 papers. The topics discussed include: continuous model driven engineering;on the increasing complexity of multimedia service provision in next generation networks and the future internet;a proof based approach for modelling and verifyingweb services compositions;ASIIST: application specific i/o integration support tool for real-time bus architecture designs;testing an open source suite for open queuing network modelling using metamorphic testing technique;architecture design for the large-scale software-intensive systems: a decision-oriented approach and the experience;towards openworld software architectures with semantic architectural styles, components and connectors;architecture driven modernization in practice - study results;energy efficient duty allocation protocols for wireless sensor network;formal modelling and analysis of business information applications with fault tolerant middleware;and formal specification and code generation of programmable logic controllers.
The proceedings contain 29 papers. The topics discussed include: symbolic analysis of an electric vehicle charging protocol;an extended UML method for the verification of security protocols;DroidVault: a trusted data ...
ISBN:
(纸本)9781479954827
The proceedings contain 29 papers. The topics discussed include: symbolic analysis of an electric vehicle charging protocol;an extended UML method for the verification of security protocols;DroidVault: a trusted data vault for Android devices;automatic defect categorization based on fault triggering conditions;design and analysis of security attacks against critical smart grid infrastructures;an adaptive auto-configuration tool for Hadoop;QScheduler: a tool for parallel query processing in database systems;deriving usage model variants for model-based testing: an industrial case study;a reference framework for the automated exploration of web applications;a thread behavior-based memory management framework on multi-core smartphone;evolving commitments for self-adaptive socio-technical systems;clause replication and reuse in incremental temporal induction;and generating SystemC implementations for clock constraints specified in UML/MARTE CCSL.
The proceedings contain 23 papers. The topics discussed include: efficient parameter synthesis using optimized state exploration strategies;integrating tools: co-simulation in UPPAAL using FMI-FMU;TLSsem: a TLS securi...
ISBN:
(纸本)9781538624319
The proceedings contain 23 papers. The topics discussed include: efficient parameter synthesis using optimized state exploration strategies;integrating tools: co-simulation in UPPAAL using FMI-FMU;TLSsem: a TLS security-enhanced mechanism against MITM attacks in public WiFis;distributed object-oriented design of autonomous control systems for connected vehicle platoons;BigrTiMo-a process algebra for structure-aware mobile systems;learning likely invariants to explain why a program fails;enhancing knowledge sharing in stack overflow via automatic external web resources linking;a composition mechanism for refinement-based methods;class modularization using indirect relationships;reachability analysis of self modifying code;a unified framework for throughput analysis of streaming applications under memory constraints;speeding up type-specific instrumentation for the analysis of complexsystems;multi-modeling approach to performance engineering of cyber-physical systems design;towards solving decision making problems using probabilistic model checking;software reliability modeling and analysis via kernel-based approach;a model driven method to design and analyze secure architectures of systems-of-systems;and functional requirements-based automated testing for avionics.
The proceedings contain 30 papers. The topics discussed include: architecture exploration of real-time systems based on multi-objective optimization;fitness landscape characterisation for constrained software architec...
ISBN:
(纸本)9781467385817
The proceedings contain 30 papers. The topics discussed include: architecture exploration of real-time systems based on multi-objective optimization;fitness landscape characterisation for constrained software architecture optimisation problems;a make/buy/reuse feature development framework for product line evolution;combining software metrics and text features for vulnerable file prediction;all your sessions are belong to us: investigating authenticator leakage through backup channels on android;design and evaluation of feature distributed malware attacks against the internet of things (IoT);formal analysis of a single sign-on protocol implementation for Android;verifying FreeRTOS' cyclic doubly linked list implementation: from abstract specification to machine code;formal development of a real-time operating system memory manager;web application architecture security evaluation method based on AADL;and semantic network model: a reasoning engine for software requirements.
The proceedings contain 32 papers. The topics discussed include: fostering software architect and programmer collaboration;formally describing the architectural behavior of software-intensive systems-of-systems with S...
ISBN:
(纸本)9781509055272
The proceedings contain 32 papers. The topics discussed include: fostering software architect and programmer collaboration;formally describing the architectural behavior of software-intensive systems-of-systems with SosADL;TORUS: tracing complex requirements for large cyber-physical systems;a spatial logic for modeling and verification of collision-free control of vehicles;stepwise formal modeling and verification of self-adaptive systems with event-b. the automatic rover protection case study;verification of Nash-equilibrium for probabilistic BAR systems;a semantic approach for managing trust and uncertainty in distributed systems environments;semantic technologies for realising decentralised applications for the web of things;engineering socially-aware systems and applications;Pareto optimal scheduling for synchronous data flow graphs on heterogeneous multiprocessor;improving quality of use case documents through learning and user interaction;an experiment on decision diagrams for model checking probabilistic timed automata;data analysis of digital currency networks: namecoin case study;developing multi-view contracts using event-b and Uppaal timed automata;universal analysis and detection framework for location aided routing;guiding the selection of security patterns for real-time systems;and using mobile phone based camera to read information from a Li-Fi source.
暂无评论