Section: Application Domains

Application Domains

The theoretical framework we use (automata, process algebras, bisimulations, temporal logics, etc.) and the software tools we develop are general enough to fit the needs of many application domains. They are applicable to virtually any system or protocol that consists of distributed agents communicating by asynchronous messages. The list of recent case studies performed with the CADP toolbox (see in particular §  6.5 ) illustrates the diversity of applications:

• Bioinformatics: genetic regulatory networks, nutritional stress response, metabolic pathways,

• Consumer electronics: home networking, video on-demand,

• Databases: transaction protocols, distributed knowledge bases, stock management,

• Distributed systems: virtual shared memory, distributed file systems, election algorithms, dynamic reconfiguration algorithms, fault tolerance algorithms, cloud computing,

• Embedded systems: smart-card applications, air traffic control, avionic systems,

• Hardware architectures: asynchronous circuits, multiprocessor architectures, systems on chip, networks on chip, bus arbitration protocols, cache coherency protocols, hardware/software codesign,

• Human-machine interaction: graphical interfaces, biomedical data visualization, plasticity,

• Security protocols: authentication, electronic transactions, cryptographic key distribution,

• Telecommunications: high-speed networks, network management, mobile telephony, feature interaction detection.