Advertisement

Dependable Software Engineering. Theories, Tools, and Applications

5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

  • Nan Guan
  • Joost-Pieter Katoen
  • Jun Sun
Conference proceedings SETTA 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11951)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11951)

Table of contents

  1. Front Matter
    Pages i-xiii
    PDF
  2. A Bounded Model Checking Technique for Higher-Order Programs
    Yu-Yang Lin, Nikos Tzevelekos
    Pages 1-18
  3. Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm
    Alexis Linard, Doina Bucur, Mariëlle Stoelinga
    Pages 19-37
  4. Simplifying the Analysis of Software Design Variants with a Colorful Alloy
    Chong Liu, Nuno Macedo, Alcino Cunha
    Pages 38-55
  5. Response Time Analysis of Typed DAG Tasks for G-FP Scheduling
    Xuemei Peng, Meiling Han, Qingxu Deng
    Pages 56-71
  6. A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms
    Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang
    Pages 72-88
  7. Mixed Criticality Scheduling of Probabilistic Real-Time Systems
    Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo
    Pages 89-105
  8. Improving the Analysis of GPC in Real-Time Calculus
    Yue Tang, Yuming Jiang, Nan Guan
    Pages 106-121
  9. A Verified Specification of TLSF Memory Management Allocator Using State Monads
    Yu Zhang, Yongwang Zhao, David Sanan, Lei Qiao, Jinkun Zhang
    Pages 122-138
  10. Back Matter
    Pages 139-139
    PDF

About these proceedings

Introduction

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. 

The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the  field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. 



 

Keywords

data security embedded systems formal logic formal methods formal verifications model checking parallel processing systems problem solving real time systems safety critical systems security systems software engineering software evaluation theorem proving

Editors and affiliations

  1. 1.Hong Kong Polytechnic UniversityKowloonHong Kong
  2. 2.RWTH Aachen UniversityAachenGermany
  3. 3.Singapore Management UniversitySingaporeSingapore

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-35540-1
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-35539-5
  • Online ISBN 978-3-030-35540-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site