Background
Hansson, Hans Arne was born on August 8, 1957 in Sundbyberg, Sweden. Son of Arne Nils and Anna-Greta (Holmstrom) Hansson.
(Due to the current economic climate, many, if not all, in...)
Due to the current economic climate, many, if not all, industries depend upon computer systems for their product, design and manufacturing processes and for routine business functions. Although the use of such systems brings many advantages, the consequences of failure (including physical failure of computer systems, software design faults and human error) can involve both loss of life and environmental damage. Pressure is consequently being mounted to match technical progress with safeguards and subsequent accountability. Research funds are accordingly being generated by governments and leading industries, affording the development of safety-critical systems by multi-disciplinary teams of mechanical, structural, electronic and software engineers and, where appropriate, psychologists, sociologists and economists. A new book series "Real-Time Safety Critical Systems " has been launched as a forum to enable all relevant researchers and developers (from industry and academia world-wide) to report their findings in the field. This publication is the first in the series and concentrates on presenting a framework for specification and analysis of real-time and reliability in distributed systems. The framework consists of a language for modelling the behaviour of distributed systems, a logic for formulating system properties, and an algorithm for verifying that descriptions in the language satisfy formulas expressed in the logic. Aimed at engineers and researchers involved across the discipline, the book is also accessible to readers with only a basic knowledge of formal modelling. Indeed, as Willem-Paul de Roever says in his introduction to the publication, it "...constitutes an indispensable link in the education of our next generation of researchers ...and ...gives a clear and scientifically responsible description how real-time and probability can be added to process algebra, how to extend Emerson and Clarke's branching time temporal logic to these new features, and how to verify the properties thus expressed by an appropriate tool "
http://www.amazon.com/gp/product/0444899405/?tag=2022091-20
Hansson, Hans Arne was born on August 8, 1957 in Sundbyberg, Sweden. Son of Arne Nils and Anna-Greta (Holmstrom) Hansson.
Master of Science in Engineering, Uppsala University, Sweden, 1981. Bachelor in Business Administration, 1984. Technology licensed in Computer Science, 1984.
Doctor of Philosophy in Computer Systems, 1991.
Research assistant Uppsala University, Sweden, 1981-1986. Lecturer, 1986-1988; researcher Swedish Institute Computer Science, Stockholm, Sweden, 1988-1994. Senior lecturer Uppsala University, Sweden, since 1993.
Assistant chairman Department Computer Systems, Uppsala, Sweden, 1986-1990, chairman, 1990, 96—. Assistant laboratory leader Swedish Institute Computer Science, Stockholm, 1993. President Tau Computer Systems, Uppsala, since 1987.
(Due to the current economic climate, many, if not all, in...)
President Swedish National Association for Real-Time, since 1994, Golden Dragons Floorball Association, Sweden, 1978-1985. Secretary Glader Childcare Association, Uppsala, 1988-1991. Member Amnesty International, Sweden, since 1989.
Sergeant Swedish Army. Member Institute of Electrical and Electronics Engineers, Swedish National Association for Real-Time, YACM.
Married Barbara Lorwiewicz, January 2, 1984. Children: Hans Mattias Zbigniew, Joanna Helena.