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.3 ) illustrates the diversity of applications:

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

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

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

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

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

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

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

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

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