Vor Memmo waren meine Notizen überall in PDFs verstreut. Jetzt sammelt ein Arbeitsbereich alles an einem Ort – ich sehe genau, was noch zu lernen ist.
The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production.
This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the certification aspects of the solution produced. This method takes advantage of the model-based design approaches as well as the use of formal methods for the validation of these systems. Furthermore, the use of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing.
This book presents, firstly, an overview of the model-based design approaches such as those used in the field of aeronautical software engineering. Secondly, an original methodology that is perfectly adapted to the field of aeronautical embedded systems is introduced. Finally, the authors illustrate the use of this method using a case study for the design, implementation and testing of a new generation aeronautical router.
Vor Memmo waren meine Notizen überall in PDFs verstreut. Jetzt sammelt ein Arbeitsbereich alles an einem Ort – ich sehe genau, was noch zu lernen ist.
Memmos Zusammenfassungen sind Gold wert vor Prüfungen. Ich muss nicht zwei Wochen vorher 800 Seiten neu lesen – nur die wichtigsten Teile.
Der KI-Chat hat mich schon mehr als einmal am Abend vor einer Prüfung gerettet. Ich frage einfach so lange, bis ich es kapiere – ohne auf eine Antwort in einer Lerngruppe warten zu müssen.
Die Quizzes treffen genau das, was ich wissen muss. Memmo merkt sich, wo ich Schwierigkeiten habe – so übe ich nur das, was sich lohnt.
Lernkarten mit Spaced Repetition sind Magie. Memmo weiß, wann ich etwas vergessen könnte und zeigt es mir wieder.
Die KI-Podcasts sind mein Favorit. Ich höre sie auf dem Weg zur Uni und bekomme eine Wiederholung, ohne am Computer sitzen zu müssen.
Handbok i kvalitativa metoder
281 kr
Hållbar utveckling: en introduktion för ingenjörer och andra problemlösare
334 kr
Brymans Samhällsvetenskapliga metoder
390 kr
Projektledning
491 kr
Den orättvisa hälsan: om socioekonomiska skillnader i hälsa och livslängd
326 kr
Organizational Leadership
429 kr
Vetenskapsteori för nybörjare
196 kr
På väg mot läraryrket
172 kr
Det sociala livet i skolan: Socialpsykologiska perspektiv
253 kr
Betygsättningens didaktik
151 kr
Personality
402 kr
Studying Leadership
404 kr
Managing Innovation
477 kr
Introduktion till samhällsvetenskaplig metod
347 kr
The Psychology of Sex and Gender
698 kr
Introduction to Leadership
605 kr
Evidens och kunskap för socialt arbete
207 kr