The VLTI Fringe Sensors: FINITO and PRIMA FSU (2009)
Mario Gai *a, Serge Menardi B, Stefano Cesare C, Bauvir B, Donata Bonino A, Corcione A, ...
FINITO is the first generation VLTI fringe sensor, optimised for three beam observations, recently installed at Paranal and currently used for VLTI optimisation. The PRIMA FSU is the second...
Software Engineering featuring the Zachman Taxonomy (2009)
Stoll, Pia, Wall, Anders, Norström, Christer
Software engineering of today must consider organizational- and business issues as well as architectural issues for fast manufacturing of software. The semantics in a taxonomic scheme including...
Goran Mustapic, Christer Norström, Anders Wall, Ivica Crnkovic, Kristian S, Johan Andersson, ...
last decade. In this report, we have collected data from a number of real systems, which are successful and complex industrial systems. We tried to identify factors that have significant influence on...
Verifying Temporal Constraints on Data in Multi-Rate Transactions using Timed Automata (2008)
Anders Wall, Kristian S, Jukka Mäki-turja, Christer Norström, Wang Yi
Transactions involving multiple tasks, possibly with different period times, are common constructs used in the design of real-time systems. Data flowing through a transaction is usually subject to...
Business Sustainability for Software Systems (2008)
Sustainable development of industrial software systems with controllable outcome in terms of cost, schedule and quality despite changes originating from new technology, stakeholders’ concerns,...
Guiding Architectural Decisions with the Influencing Factors Method (2008)
Stoll, Pia, Wall, Anders, Norström, Christer
The Influencing Factors (IF) method guides the architect through stakeholders’ concerns to architectural decisions in line with current business goals. The result is a set of requirements on...
Correctness criteria for models ’ validation – A philosophical perspective (2007)
Ijeoma S, Ra Irobi, Johan Andersson, Anders Wall
Valid models are central to the existence of Computer science as in most other disciplines, but at what point can one say that a model is valid and hence correct? A model is often taken to be an...
Experiences from Introducing UML and OO in an Organization (2007)
In this paper we present experiences from an ongoing investigation of whether Bombardier Transportation, a company within the railbound vehicle domain, can beni t from introducing object-oriented...
Predicting the behavior of a product before it is built has been a long time struggle, especially for software based systems. For building software systems there are few methods that comply with the...
Product Line Architectures for Embedded Real-Time Systems (2007)
Anders Wall, Kristian S, Christer Norström
In this paper, we propose the use of product line architectures in order to shorten time to market, cut cost, and to reduce maintenance when developing embedded real-time systems. A development...
Verifying Temporal Constraints on Data in Multi-Rate Transactions using Timed Automata (2007)
Anders Wall, Kristian S, Jukka Mäki-turja, Christer Norström, Wang Yi
Transactions involving multiple tasks, possibly with different period times, are common constructs used in the design of real-time systems. Data flowing through a transaction is usually subject to...
Validating Timing Models of Industrial Real-Time Systems (2007)
Johan Andersson, Anders Wall, Christer Norström
Abstract. When analyzing a model of any kind, in order to get confidence in the analysis result it is necessary to have confidence in the model. If a model describes the timing of a complex software...
Validating Temporal Behavior Models of Complex Real-Time Systems (2007)
Johan Andersson, Anders Wall, Christer Norström
When constructing a model of the behavior of a software system, model validation is necessary in order to assure that the model accuratly describes the system at an appropriate level of abstraction....
It Licentiate Theses, Anders Wall, Anders Wall, Anders Wall
A software architecture is a high-level design description of a software system. In terms of the architecture, early design decisions can be analyzed to improve the quality of a real time software...
Extracting simulation models from complex industrial realtime systems (2006)
Johan Andersson, Joel Huselius, Christer Norström, Anders Wall
A modeling process is presented for extracting timingaccurate simulation models from complex industrial realtime systems. The process is supported by two methods for tool-supported model extraction,...
Johan Andersson, Anders Wall, Akil Al-w, Christer Norstrom
Abstract. A common problem with long-lived large industrial software systems such as telecom and industrial automation systems is the high complexity together with the lack of formal models...
Two-year follow-up of amyloid deposition in patients with Alzheimer's disease (2006)
Engler, Henry, Forsberg, Anton, Almkvist, Ove, Blomquist, Gunnar, Larsson, Emma, Savitcheva, Irina, ...
Beta amyloid is one of the major histopathological hallmarks of Alzheimer's disease. We recently reported in vivo imaging of amyloid in 16 Alzheimer patients, using the PET ligand...
Two-year follow-up of amyloid deposition in patients with Alzheimer's disease (2006)
Engler, Henry, Forsberg, Anton, Almkvist, Ove, Blomquist, Gunnar, Larsson, Emma, Savitcheva, Irina, ...
Beta amyloid is one of the major histopathological hallmarks of Alzheimer's disease. We recently reported in vivo imaging of amyloid in 16 Alzheimer patients, using the PET ligand N-methyl[11C]2-...
Anders Wall, Johan Andersson, Christer Norström
Abstract. A common problem with long-lived large industrial software systems such as telecom and industrial automation systems is the increasing complexity and the lack of formal models enabling...
Real World Influences on Software Architecture - Interviews with Industrial Systems Experts (2004)
Goran Mustapic, Anders Wall, Christer Norström, Ivica Crnkovic, Kristian S, Joakim Fröberg, ...
Industrial systems are examples of complex and often long-lived systems in which software is playing an increasingly important role. Their architectures play a crucial role in maintaining the...
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-time Systems (2003)
Anders Wall, Johan Andersson, Jonas Ne, Christer Norstrom, Martin Lembke
Abstract. Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by common...
Probabilistic Simulation-based Analysis of Complex Real-Time Systems (2003)
Anders Wall, Johan Andersson, Christer Norström
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by common sense....
Most automation systems and other large industrial software systems have long lifetimes, and customers expect these systems to be supported as long as they are in operation. Furthermore, software...
Anders Wall, Christer Norström, Hans Hansson
first phase of the project was divided into two tracks: applying timed automata to the design of real-time systems and software architecture description and analysis for real-time systems. Anders...
A Component Model for Embedded Real-Time Software product-Lines (2001)
Anders Wall, Christer Norström
Abstract: This paper proposes a component model suitable for use in the development of embedded real-time systems where resources, such as memory and CPUs, usually are very limited. A precise...
Software architecture for real-time systems (2000)
The solution to the complex nature of developing software is software engineering. Software engineering provides techniques for structured design, formal- and informal analysis, and software metrics....
Timed Automata as Task Models for Event-Driven Systems (1999)
Christer Norstrom And, Christer Norström, Anders Wall
In this paper, we extend the classic model of timed automata with a notion of real time tasks. The main idea is to associate each discrete transition in a timed automaton with a task (an executable...
Timed Automata as Task Models for Event-Driven Systems (1998)
Christer Ericsson, Anders Wall, Wang Yi
In this paper, we extend the classic model of timed automata with a notion of real time tasks. The main idea is to associate each discrete transition in a timed automaton with a task (an executable...
Thesis (doctoral)--Acta Universitatis Upsaliensis, 1997.
Unidirectional Influx and Net Accumulation of PIB
Blomquist, Gunnar, Engler, Henry, Nordberg, Agneta, Ringheim, Anna, Wall, Anders, Forsberg, Anton, ...
The compound {N-methyl-[11C]}2-(4’-methylaminophenyl)-6-hydroxybenzothiazole, “PIB”, measured by positron emission tomography, has been demonstrated to image brain β-amyloid deposition in...