| 1. |
- Holsti, N., et al.
(författare)
-
WCET Tool Challenge 2008 : Report
- 2008
-
Ingår i: OpenAccess Ser. Informatics. - 9783939897101
-
Konferensbidrag (refereegranskat)abstract
- Following the successful WCET Tool Challenge in 2006, the second event in this series was organized in 2008, again with support from the ARTIST2 Network of Excellence. The WCET Tool Challenge 2008 (WCC'08) provides benchmark programs and poses a number of "analysis problems" about the dynamic, runtime properties of these programs. The participants are challenged to solve these problems with their programanalysis tools. Two kinds of problems are defined: WCET problems, which ask for bounds on the execution time of chosen parts (subprograms) of the benchmarks, under given constraints on input data; and flowanalysis problems, which ask for bounds on the number of times certain parts of the benchmark can be executed, again under some constraints. We describe the organization of WCC'08, the benchmark programs, the participating tools, and the general results, successes, and failures. Most participants found WCC'08 to be a useful test of their tools. Unlike the 2006 Challenge, the WCC'08 participants include several tools for the same target (ARM7, LPC2138), and tools that combine measurements and static analysis, as well as pure staticanalysis tools.
|
|
| 2. |
- Holsti, N., et al.
(författare)
-
Analysing switch-case code with abstract execution
- 2015
-
Ingår i: OpenAccess Series in Informatics. - 9783939897958 ; , s. 85-94
-
Konferensbidrag (refereegranskat)abstract
- Constructing the control-flow graph (CFG) of machine code is made difficult by dynamic transfers of control (DTC), where the address of the next instruction is computed at run-time. Switchcase statements make compilers generate a large variety of machine-code forms with DTC. Two analysis approaches are commonly used: pattern-matching methods identify predefined instruction patterns to extract the target addresses, while analytical methods try to compute the set of target addresses using a general value-Analysis. We tested the abstract execution method of the SWEET tool as a value analysis for switch-case code. SWEET is here used as a plugin to the Bound-T tool: thus our work can also be seen as an experiment in modular tool design, where a general value-Analysis tool is used to aid the CFG construction in a WCET analysis tool. We find that the abstract-execution analysis works at least as well as the switch-case analyses in Bound-T itself, which are mostly based on pattern-matching. However, there are still some weaknesses: the abstract domains available in SWEET are not well suited to representing sets of DTC target addresses, which are small but sparse and irregular. Also, in some cases the abstract-execution analysis fails because the used domain is not relational, that is, does not model arithmetic relationships between the values of different variables. Future work will be directed towards the design of abstract domains eliminating these weaknesses.
|
|
| 3. |
- Sorelius, Karl, et al.
(författare)
-
The Microbiology of Infective Native Aortic Aneurysms in a Population-Based Setting
- 2022
-
Ingår i: Annals of Vascular Surgery. - : Elsevier. - 0890-5096 .- 1615-5947. ; 78, s. 112-122
-
Tidskriftsartikel (refereegranskat)abstract
- Objective: The aim was to describe the microbiology of surgically treated infective native (mycotic) aortic aneurysms (INAAs), and associated survival and development of infection-related complications (IRCs). Methods: Data were pooled from 2 nationwide studies on surgically treated patients with INAAs in Sweden, between 1994 - 2016. Patients were grouped and analyzed according to culture results: 1) Staphylococcus aureus, 2) Streptococcus species (sp.), 3) Salmonella sp., 4) Enterococcus sp., 5) Gram-negative intestinal bacteria, 6) Other sp. (all other species found in culture), and 7) Negative cultures. Results: A sum of 182 patients were included, mean age 71 years (standard deviation; SD: 8.9). The median follow-up was 50.3 months (range 0 - 360). 128 (70.3%) patients had positive blood and/or tissue culture; Staphylococcus aureus n = 38 (20.9%), Streptococcus sp. n = 37 (20.3%), Salmonella sp. n = 19 (10.4%), Enterococcus sp. n = 16 (8.8%), Gram-negative intestinal bacteria n = 6, (3.3%), Other sp. n = 12 (6.6%) and Negative cultures n = 54 (29.7%). The estimated survival for the largest groups at 2-years after surgery was: Staphylococcus aureus 62% (95% Confidence interval 53.9 - 70.1), Streptococcus sp. 74.7% (67.4 - 82.0), Salmonella sp. 73.7% (63.6 - 83.8), Enterococcus sp. 61.9% (49.6 - 74.2), and Negative cultures 89.8% (85.5 - 94.1), P =.051. There were 37 IRCs (20.3%), and 19 (51.4%) were fatal, the frequency was insignificant between the groups. The majority of IRCs, 30/37 (81%), developed during the first postoperative year. Conclusion: In this assessment of microbiological findings of INAAs in Sweden, 50% of the pathogens were Staphylococcus aureus, Streptococcus sp., or Salmonella sp.. The overall 20%-frequency of IRCs, and its association with high mortality, motivates long-term antibiotic treatment regardless of microbial findings.
|
|
