Cargando…
Analysis of DIRAC's behavior using model checking with process algebra
DIRAC is the grid solution developed to support LHCb production activities as well as user data analysis. It consists of distributed services and agents delivering the workload to the grid resources. Services maintain database back-ends to store dynamic state information of entities such as jobs, qu...
Autores principales: | Remenska, Daniela, Templon, Jeff, Willemse, Tim, Bal, Henri, Verstoep, Kees, Fokkink, Wan, Charpentier, Philippe, Diaz, Ricardo Graciani, Lanciotti, Elisa, Roiser, Stefan, Ciba, Krzysztof |
---|---|
Lenguaje: | eng |
Publicado: |
2012
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1088/1742-6596/396/5/052061 http://cds.cern.ch/record/1515980 |
Ejemplares similares
-
LHCbDirac: Distributed computing in LHCb
por: Stagni, F, et al.
Publicado: (2012) -
The LHCb Data Management System
por: Baud, JP, et al.
Publicado: (2012) -
LHCb: Analysing DIRAC's Behavior using Model Checking with Process Algebra
por: Remenska, Daniela
Publicado: (2012) -
Bringing Model Checking Closer to Practical Software Engineering
por: Remenska, Daniela
Publicado: (2016) -
DIRAC Security
por: Casajús Ramo, A, et al.
Publicado: (2006)