Map     中文
Theories and Applications of Concurrent and Real-Time Systems

From State Key Laboratory of Computer Science

Main Page > Research > Themes > Theories and Applications of Concurrent and Real-Time Systems
Jump to: navigation, search


Academic Research
Themes
Theories and Applications of Concurrent and Real-Time Systems
Principles of Software Technology
Computer Graphics and Human Computer Interaction
Parallel Algorithm and Parallel Software

Introduction

Theories and applications of concurrent and real-time systems is the field of computer science that studies the computing phenomena with the characteristics of concurrency, real-time and mobility. Like other areas in computer science, theories and application of concurrent and real-time systems spans a wide range of subjects from the applied to the very theoretical. On the theory side, it mainly concentrates on different approaches to the modeling, analysis and design of concurrent and real-time systems, including algebra based, logic based, automata based and so on. On the application side, it focuses on inventing new techniques based on the new theories to solve lots of problems met in software development, network, life sciences, etc.

Research topics

  • Formal foundations of concurrent systems, real-time systems and hybrid systems
  • Automata and logic, formal semantics
  • Formal verification techniques, e.g. model checking, theorem proving, etc.
  • Modelling and verification of embedded systems
  • Automation of electronic system design
  • Schedulling theory of real-time systems

Projects

Name Person Time Type
Design, Verificaton and the Related Supporting Platforms of Highly-reliable Component-based Embedded Software Guangyuan LINaijun ZHANChaochen ZHOU 2008.01-2011.12 NSFC Key Programme, Participant
Theory, Techniques, and Tools of Model Checking Huimin LIN 2009.01-2011.12 NSFC Key Programme, Principal Investigator
Theory and Techniques of Automatic Verification Wenhui ZHANG 2009.09-2012.09 ISCAS Innovation Programme, Principal Investigator
Structured Analysis and Research for Concurrent Systems Based on Petri Nets Li JIAO 2010.01-2012.12 NSFC General Programme, Principal Investigator

Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki