Description
Software Engineering for Resilient Systems, 1st ed. 2015
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Programming and Software Engineering Series
Coordinators: Fantechi Alessandro, Pelliccione Patrizio
Language: EnglishSubject for Software Engineering for Resilient Systems:
Keywords
cloud computing; dependability; embedded systems; error detection; error recovery; fault tolerance; formal modeling; monitoring; performance; power consumption; redundancy; reliability; resilience; risk assessment; self-adaptive systems; software and its engineering; software architectures; software testing; traceability; veification and validation
Support: Print on demand
Description
/li>Contents
/li>Comment
/li>
Biological Immunity and Software Resilience: two faces of the same coin?.- Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol.- Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems.- Risk assessment based cloudification.- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.- Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain.- Tejo: a supervised anomaly detection scheme for NewSQL databases.- Resiliency Variance in Workows with Choice.
Includes supplementary material: sn.pub/extras