"Prost\u0159ed\u00ED pro modelov\u00E1n\u00ED bezpe\u010Dn\u00FDch syst\u00E9m\u016F"@cs . "2006-02-22+01:00"^^ . . . "Hrub\u00FD, Martin" . . "Prost\u0159ed\u00ED pro modelov\u00E1n\u00ED bezpe\u010Dn\u00FDch syst\u00E9m\u016F" . "80-86840-06-9" . "[778AEDBE9B7C]" . "26230" . . "RIV/00216305:26230/06:PU66870" . . "495656" . . "Han\u00E1\u010Dek, Petr" . "MARQ" . . . . . . . . . "P\u0159erov" . "Environment for Modelling of Safe Systems"@en . "The paper extends our previous results in theory of computer modelling, which will be now applied to our futher research of safe (and secure) intelligent systems. The research is oriented to integrating of modelling methods, tools and paradigms (so called heterogeneous modelling), where their interconnection makes the modelling work higly more efficient. AIN (Automatic Information Net) together with HELEF language (HEterogeneous Language Environment) is one of the particular results. We define basic aspects of safe intelligent systems using the mentioned HELEF language.
"@en . "Prost\u0159ed\u00ED pro modelov\u00E1n\u00ED bezpe\u010Dn\u00FDch syst\u00E9m\u016F" . "RIV/00216305:26230/06:PU66870!RIV07-GA0-26230___" . . . "P(GA102/04/0871)" . "6"^^ . "39-44" . . "Environment for Modelling of Safe Systems"@en . "heterogeneous modelling, safe systems, safety, security
"@en . "\u010Cl\u00E1nek navazuje na na\u0161e p\u0159edchoz\u00ED v\u00FDsledky v teorii modelov\u00E1n\u00ED syst\u00E9m\u016F, kter\u00E9 budou d\u00E1le aplikov\u00E1ny ve v\u00FDzkumu bezpe\u010Dn\u00FDch a inteligentn\u00EDch syst\u00E9m\u016F na na\u0161em pracovi\u0161ti. N\u00E1\u0161 v\u00FDzkum se zam\u011B\u0159uje na integrov\u00E1n\u00ED modelovac\u00EDch metod, n\u00E1stroj\u016F a paradigmat (tak zvan\u00E9 heterogenn\u00ED modelov\u00E1n\u00ED), jejich\u017E propojen\u00ED v\u00FDznamn\u00FDm zp\u016Fsobem zefektiv\u0148uje pr\u00E1ci v po\u010D\u00EDta\u010Dov\u00E9m modelov\u00E1n\u00ED. Jedn\u00EDm z v\u00FDsledk\u016F tohoto v\u00FDzkumu je p\u016Fvodn\u00ED metoda \u0159e\u0161en\u00ED heterogenn\u00EDch model\u016F naz\u00FDvan\u00E1 AIN (Automatic Information Net) a jazyk HELEF (Heterogeneous Language Environment, Final version). Dlouhodob\u00FDm c\u00EDlem, kam na\u0161e \u010Dinnost sm\u011B\u0159uje, je prost\u0159ed\u00ED pro modelov\u00E1n\u00ED bezpe\u010Dn\u00FDch syst\u00E9m\u016F realizovan\u00E9 tak\u00E9 \u010D\u00E1ste\u010Dn\u011B jazykem HELEF. Pojem "bezpe\u010Dn\u00E9ho syst\u00E9mu" je pom\u011Brn\u011B rozs\u00E1hl\u00FD - bezpe\u010Dnost sledujeme p\u0159inejmen\u0161\u00EDm ve v\u00FDznamu slova "spolehliv\u00FD" a "nezraniteln\u00FD"." . "3"^^ . "Ostrava" . "R\u00E1bov\u00E1, Zde\u0148ka" . "3"^^ . "Prost\u0159ed\u00ED pro modelov\u00E1n\u00ED bezpe\u010Dn\u00FDch syst\u00E9m\u016F"@cs . . . "\u010Cl\u00E1nek navazuje na na\u0161e p\u0159edchoz\u00ED v\u00FDsledky v teorii modelov\u00E1n\u00ED syst\u00E9m\u016F, kter\u00E9 budou d\u00E1le aplikov\u00E1ny ve v\u00FDzkumu bezpe\u010Dn\u00FDch a inteligentn\u00EDch syst\u00E9m\u016F na na\u0161em pracovi\u0161ti. N\u00E1\u0161 v\u00FDzkum se zam\u011B\u0159uje na integrov\u00E1n\u00ED modelovac\u00EDch metod, n\u00E1stroj\u016F a paradigmat (tak zvan\u00E9 heterogenn\u00ED modelov\u00E1n\u00ED), jejich\u017E propojen\u00ED v\u00FDznamn\u00FDm zp\u016Fsobem zefektiv\u0148uje pr\u00E1ci v po\u010D\u00EDta\u010Dov\u00E9m modelov\u00E1n\u00ED. Jedn\u00EDm z v\u00FDsledk\u016F tohoto v\u00FDzkumu je p\u016Fvodn\u00ED metoda \u0159e\u0161en\u00ED heterogenn\u00EDch model\u016F naz\u00FDvan\u00E1 AIN (Automatic Information Net) a jazyk HELEF (Heterogeneous Language Environment, Final version). Dlouhodob\u00FDm c\u00EDlem, kam na\u0161e \u010Dinnost sm\u011B\u0159uje, je prost\u0159ed\u00ED pro modelov\u00E1n\u00ED bezpe\u010Dn\u00FDch syst\u00E9m\u016F realizovan\u00E9 tak\u00E9 \u010D\u00E1ste\u010Dn\u011B jazykem HELEF. Pojem "bezpe\u010Dn\u00E9ho syst\u00E9mu" je pom\u011Brn\u011B rozs\u00E1hl\u00FD - bezpe\u010Dnost sledujeme p\u0159inejmen\u0161\u00EDm ve v\u00FDznamu slova "spolehliv\u00FD" a "nezraniteln\u00FD"."@cs . "Proceedings of NETSS06" .