Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Loreti M., (eds.) .. Preface. vol. Electronic Proceedings in Theoretical Computer Science, 217 pp. 1 - 2. EPTCS.org, 2016.
Collective Adaptive Systems (CAS) consist of a large number of spatially distributed heterogeneous entities with decentralised control and varying degrees of complex autonomous behaviour that may be competing for shared resources even when collaborating to reach common goals. It is important to carry out thorough quantitative modelling and analysis and verification of their design to investigate all aspects of their behaviour before they are put into operation. This requires combinations of formal methods and applied mathematics which moreover scale to large-scale CAS. The primary goal of FORECAST is to raise awareness in the software engineering and formal methods communities of the particularities of CAS and the design and control problems which they bring.
URL: http://https://arxiv.org/html/1607.02001v1
DOI: 10.4204/EPTCS.217
Subject Formal Methods
Software Engineering
Collective Adaptive Systems
D.2.4 Software/Program Verification. Formal methods
F.4.1 Mathematical Logic

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional