Narrow your search

Library

KU Leuven (55)

ULiège (51)

UGent (33)

VUB (15)

Odisee (14)

Thomas More Kempen (14)

Thomas More Mechelen (14)

UCLL (14)

ULB (14)

VIVES (14)

More...

Resource type

book (48)

periodical (18)

film (3)

digital (1)


Language

English (65)

Undetermined (4)


Year
From To Submit

2024 (1)

2023 (2)

2022 (4)

2021 (4)

2020 (4)

More...
Listing 11 - 20 of 69 << page
of 7
>>
Sort by

Book
NAECON '94 : National Aerospace & Electronics Conference : May 23-27, 1994, Dayton, OH, USA
Authors: --- ---
Year: 1994 Publisher: Piscataway, New Jersey : Institute of Electrical and Electronics Engineers,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Avionics --- Astrionics


Periodical
IEEE transactions on space electronics and telemetry.
Author:
ISSN: 00962414 Publisher: New York (N.Y.) : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Periodical
IRE transactions on space electronics and telemetry.
Author:
ISSN: 0096252X 23311657 Year: 1962 Publisher: New York: Professional Group on Space Electronics and Telemetry, Institute of Radio Engineers,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Digital Avionics Systems Conference, 2009. DASC '09. IEEE/AIAA 28th
Author:
ISBN: 1424440785 1424440777 1509068090 9781509068098 Year: 2009 Publisher: Piscataway, NJ : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
2006 IEEE Aerospace Conference
Author:
ISBN: 078039545X 1509095411 9781509095414 Year: 2006 Publisher: [Place of publication not identified] I E E E

Loading...
Export citation

Choose an application

Bookmark

Abstract

In order to meet the future vision of robotic missions, engineers will face intricate mission concepts, new operational approaches, and technologies that have yet to be developed. The concept of smaller, model driven projects helps this transition by including life-cycle cost as part of the decision making process. For example, since planetary exploration missions have cost ceilings and short development periods, heritage flight hardware is utilized. However, conceptual designs that rely solely on heritage technology will result in estimates that may not be truly representative of the actual mission being designed and built. The Laboratory for Spacecraft and Mission Design (LSMD) at the California Institute of Technology is developing integrated concurrent models for mass and cost estimations. The purpose of this project is to quantify the infusion of specific technologies where the data would be useful in guiding technology developments leading up to a mission. This paper introduces the design-to-cost model to determine the implications of various technologies on the spacecraft system in a collaborative engineering environment. In addition, comparisons of the benefits of new or advanced technologies for future deep space missions are examined.


Book
2019 IEEE Aerospace Conference : 2-9 March 2019, Big Sky, MT, USA
Authors: ---
ISBN: 1538668548 1538668556 Year: 2019 Publisher: Piscataway, New Jersey : Institute of Electrical and Electronics Engineers,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
2020 IEEE Aerospace Conference
Author:
ISBN: 1728127343 1728127351 Year: 2020 Publisher: Piscataway, NJ : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Modern space systems are increasing in complexity. The advent of the Internet of Space Things, coupled with the commercialisation of space has resulted in an ecosystem that is difficult to control and brings about new security challenges. In such critical systems, it is common to conduct verification strategies to ensure that the underpinning software is correct. Formal verification is achieved by modelling the system and verifying that the model obeys particular functional and safety properties. Many connected systems are now the target of a variety of threat actors attempting to realise different goals. Threat modelling is the approach employed to analyse and manage the threats from adversaries. Common practice is that these two approaches are conducted independently of one another. In this paper, we argue that the two should be mutually informed, and describe a methodology for security-minded formal verification that combines these analysis techniques. This approach will streamline the development process and give a more formal grounding to the security properties identified during threat analysis.


Book
2022 IEEE Aerospace Conference (AERO)
Author:
ISBN: 166543760X 1665437618 9781665437608 Year: 2022 Publisher: Piscataway, New Jersey : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The international IEEE Aerospace Conference is organized to promote interdisciplinary understanding of aerospace systems, their underlying science, and technology.

24th DASC : proceedings ; the 24th Digital Avionics Systems Conference, Hyatt Regency Crystal City, Washington, D.C., October 30-November 3, 2004 [i.e. 2005
Authors: ---
ISBN: 0780393074 1538601664 9781538601662 Year: 2005 Publisher: [Place of publication not identified] IEEE Operations Center

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC 2013) : East Syracuse, New York, USA, 5-10 October 2013.
Authors: --- ---
ISBN: 147991536X 1479915378 1479915386 9781479915385 Year: 2013 Publisher: IEEE

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 11 - 20 of 69 << page
of 7
>>
Sort by