Posted by 
By István Majzik, Marco Vieira
This publication constitutes the refereed court cases of the sixth overseas Workshop on software program Engineering for Resilient platforms, SERENE 2014, held in Budapest, Hungary, in October 2014. The eleven revised technical papers offered including one venture paper and one invited speak have been conscientiously reviewed and chosen from 22 submissions. The papers are prepared in topical sections on layout of resilient platforms; research of resilience; verification and validation; and monitoring.
Read Online or Download Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings PDF
Similar computer science books
Designed to provide a breadth first insurance of the sphere of desktop technology.
Every one variation of advent to information Compression has commonly been thought of the easiest advent and reference textual content at the paintings and technology of information compression, and the fourth version keeps during this culture. facts compression ideas and expertise are ever-evolving with new functions in photograph, speech, textual content, audio, and video.
Desktops as parts: ideas of Embedded Computing approach layout, 3e, provides crucial wisdom on embedded platforms expertise and methods. up to date for today's embedded structures layout equipment, this variation positive factors new examples together with electronic sign processing, multimedia, and cyber-physical platforms.
Computation and Storage in the Cloud: Understanding the Trade-Offs
Computation and garage within the Cloud is the 1st entire and systematic paintings investigating the difficulty of computation and garage trade-off within the cloud so that it will lessen the general program expense. medical functions are typically computation and knowledge extensive, the place complicated computation projects take decades for execution and the generated datasets are usually terabytes or petabytes in dimension.
Additional resources for Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
Example text
Therefore, the specification of a mission is already difficult when considering a single quadrotor and it becomes even more complex when dealing with missions involving a swarm of quadrotors. In this paper we refer to the FLYAQ platform [22] that has been conceived to eliminate this technological barrier. FLYAQ allows non-technical operators to straightforwardly define civilian missions of flying drones swarms at a high level of abstraction, thus hiding the complexity of the low-level and flight dynamics-related information of the drones.
Moreover, the FLYAQ platform uses an intermediate language called Quadrotor Behaviour Language (QBL). Such a language represents detailed instructions for each single quadrotor of the swarm, and it is used at run-time for instructing each single quadrotor. , take off, land, go to a specific geographical point), each of them having a set of pre- and post-actions, which are executed by the drone before (or after) the movement. Examples of actions include: taking a picture, starting or stopping a video streaming session, sending a message to the ground station, and sending a message to another drone.
128–138. Springer, Heidelberg (2006) 24. : Past and future of software architectural decisions – a systematic mapping study. Information and Software Technology 56(8), 850– 872 (2014) 25. : A comparative study of architecture knowledge management tools. se Abstract. In today’s world, we are surrounded by software-based systems that control so many critical activities. Every few years we experiment dramatic software failures and this asks for software that gives evidence of resilience and continuity.