Wyniki wyszukiwania - BazTech

1

Safety Critical Software Development Methodologies in Avionics

Zakrzewski Paweł, Narkiewicz Janusz, Brenchly Darren

Transactions on Aerospace Research

|

2020

|

Nr 2 (259)

59--71

EN

This article summarizes avionics safety-critical software development methodologies and implications of the DO-178C standard from an Agile application perspective. We explain the safety-critical software categorization. It also outlines the main differences and advantages of different approaches to the development process, from Waterfall through the V-model to Iterative and Incremental. Agile principles are explained as well as a Scrum – which is a popular framework in the non-safety-critical software industry. The application of Agile, for safety-critical software considerations, is based on the practical knowledge of the authors, and looks at the potential solution from a DO-178C standard, size of the project, scalability, and organizational culture points of view. Definition of the Agile type of framework, consistent with the certification process and existing standards, has been highlighted as a potential game-changer for the avionics industry.

PL

Artykuł podsumowuje metody rozwoju oprogramowania krytycznego dla bezpieczeństwa, oraz wpływ standardu DO-178C na potencjalne zastosowanie metod zwinnych. Wyjaśniamy w nim także kategoryzację oprogramowania krytycznego w systemach lotniczych. Artykul opisuje różnice w podejściu do procesu tworzenia oprogramowania od metody kaskadowej, przez model V, aż do metody iteracyjnej i przyrostowej, wraz ze wskazaniem ich największych zalet. Opisane zostały najważniejsze zasady leżące u podstaw metod zwinnych, oraz Scrum jako popularny framework stosowany w tworzeniu oprogramowania nie-krytycznego. Analiza możliwości zastosowania metod zwinnych do tworzenia oprogramowania krytycznego dla bezpieczeństwa w awionice została oparta na praktycznym doświadczeniu autorów. Uwzględnia wymagania standardu DO-178C, wielkość projektu, skalowalność metody, oraz kulturę organizacji. Zdefniowanie zwinnej metody ramowej tworzenia oprogramownia krytycznego dla bezpieczeństwa, spójnej z procesem certyfikacji i istniejącymi standardami zostało uznane za potencjalny przełom dla rozwoju systemów awioniki.

2

Wykorzystanie inżynierii systemowej do rozwiązania problemów w transporcie miejskim

Fiedler O., Kończak N., Szelągiewicz N., Butlewski M.

Logistyka

|

2014

|

nr 6

14133--14140, CD 6

PL

W artykule przedstawiono analizę typowych rozwiązań problemów transportowych, które poddano analizie przy użyciu systemowych zasad podejścia do rzeczywistości. W wyniku tego stwierdzono sprzeczności poszczególnych rozwiązań, a w związku z tym małą ich skuteczność w ujęciu systemowym. Najważniejsze z zasad w aspekcie logistycznym okazały się całościowe podejście do problemu i nie jego rozwiązywanie poprzez prostą agregacją jego elementów oraz systemowe trudności w rozpoznawaniu przyczyny i skutku, które niekoniecznie muszą być ze sobą bezpośrednio związane w czasie i przestrzeni, co powoduje, że często wdrażane rozwiązania logistyczne w transporcie miejskim skutki swojego oddziaływania wykazują po pewnym czasie i w różnych z punktu widzenia sieci logistycznej miejscu.

EN

The article presents an analysis of typical solutions to transport issues that have been analyzed using the principles of a system approach to reality. As a result, contradictions were found in specific solutions, therefore, they are not very effective in terms of the system. The most important principle in terms of logistics proved to be a holistic approach to the problem, and not solving it by a simple aggregation of the system components. Also playing a part are systemic difficulties in identifying cause and effect, which may not necessarily be directly linked in time and space, which means that there are often implemented logistical solutions in public transport which start to exhibit the effects of their impact after some time and in a different location in terms of the logistical network.

3

The diminishing human-machine interface

Warwick K.

Medical Robotics Reports

|

2013

|

vol. 2

4--11

EN

In this article a look is taken at interfaces between technology and the human brain. A practical perspective is taken rather than a theoretical approach with experimentation reported on and possible future directions discussed. Applications of this technology are also considered with regard to both therapeutic use and for human enhancement. The culturing of neural tissue and its embodiment within a robot platform is also discussed, as are other implant possibilities such as permanent magnet implantation, EEG external electrode monitoring and deep brain stimulation. In each case the focus is on practical experimentation results that have been obtained as opposed to speculative assumptions.

4

European ITS framework architecture for transportation planning support

Litwin M., Modelewski K.

Archives of Transport System Telematics

|

2013

|

Vol. 6, iss. 2

53--56

EN

This paper gives an overview on some chosen aspects of transportation planning process and decision making. This article aims to show how FRAME Architecture can be seen as a decision support tool for transportation planners, transportation engineers, IT engineers and decision making persons.

5

Rozwój komputerowo wspomaganych metod projektowania systemów informacyjnych

Szydłowski I. J.

Zeszyty Naukowe. Studia Informatica / Uniwersytet Szczeciński

|

2000

|

Nr 14

175-191

EN

The goal of the article is to present some aspects of utilisation of CASE technology in process of information systems development. Development of information systems and development of information system design methods are discussed. Some ideas of integrated CASE tools architecture are presented.