Secure systems development based on the common criteria

Author(s):  
Monika Vetterling ◽  
Guido Wimmel ◽  
Alexander Wisspeintner
2002 ◽  
Vol 27 (6) ◽  
pp. 129-138 ◽  
Author(s):  
Monika Vetterling ◽  
Guido Wimmel ◽  
Alexander Wisspeintner

2012 ◽  
Vol 2012 ◽  
pp. 1-25 ◽  
Author(s):  
Andrej Sarjaš ◽  
Rajko Svečko ◽  
Amor Chowdhury

This paper presents the synthesis of an optimal robust controller with the use of pole placement technique. The presented method includes solving a polynomial equation on the basis of the chosen fixed characteristic polynomial and introduced parametric solutions with a known parametric structure of the controller. Robustness criteria in an unstructured uncertainty description with metrics of normℋ∞are for a more reliable and effective formulation of objective functions for optimization presented in the form of a spectral polynomial with positivity conditions. The method enables robust low-order controller design by using plant simplification with partial-fraction decomposition, where the simplification remainder is added to the performance weight. The controller structure is assembled of well-known parts such as disturbance rejection, and reference tracking. The approach also allows the possibility of multiobjective optimization of robust criteria, application of mixed sensitivity problem, and other closed-loop limitation criteria, where the common criteria function can be composed from different unrelated criteria. Optimization and controller design are performed with iterative evolution algorithm.


1994 ◽  
Vol 28 (2) ◽  
pp. 113-120 ◽  
Author(s):  
Felix R. Homberger ◽  
Peter E. Thomann

Pathogen-free sentinel mice were placed in 7 animal rooms with different housing conditions and were serologically screened for antibodies to mouse hepatitis virus (MHV), pneumonia virus of mice (PVM), Sendai virus, reovirus 3, Theiler's mouse encephalomyelitis virus (TMEV), ectromelia virus and Mycoplasma pulmonis by enzyme-linked immunosorbent assays, at intervals after introduction. The most commonly detected antibody was against MHV, which was found in mice from 4 rooms, followed by PVM antibody in mice from 3 rooms. Seroconversion to Sendai virus and TMEV was detected in mice from one room each. No seroconversion to any of the antigens was found in 2 rooms. The common criteria of these 2 rooms were that they housed pathogen-free animals from a single source and that the access to the rooms was, purposely or not, restricted to people who had no contact to other mice. The study demonstrated the importance of husbandry and hygienic regimen on the prevalence of infectious agents in laboratory mice.


Sign in / Sign up

Export Citation Format

Share Document