Abstract | ||
---|---|---|
This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system.
This software comprises 7.5 thousand lines of C code. It is used for distribution of the print jobs among several document
processors (workers). A large part of this commercially used software system has been modeled closely and analyzed using process-algebraic
techniques. Several critical issues were discovered. Since the model was close to the code, all problems that were found in
the model, could be traced back to the actual code resulting in concrete suggestions for improvement of the code. All in all,
the analysis significantly improved the quality of this real-life system.
|
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-79707-4_14 | FMICS |
Keywords | Field | DocType |
process algebra,software systems,load balance | Application layer,Session layer,Computer science,Real-time computing,Theoretical computer science,Software system,Software | Conference |
Citations | PageRank | References |
2 | 0.48 | 14 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
marko c j d van eekelen | 1 | 239 | 30.37 |
Stefan Ten Hoedt | 2 | 2 | 0.48 |
René Schreurs | 3 | 2 | 0.82 |
Yaroslav S. Usenko | 4 | 125 | 10.75 |