ec01 informatica intro
TRANSCRIPT
-
8/13/2019 EC01 Informatica Intro
1/42
Informtica
Ing. Aeronutica
Introduction
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
2/42
Informtica
Ing. AeronuticaIntroduction
!"#$%
'()($*+ #"#$%
-.&/0$%1#
2
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
3/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaSystems
!"#$% '()*+ #,- #'+./#$0(,
A black box is an object which interacts with the environment through itsinterface: inputs and outputs
The implementationor internals of a black box are opaque (black).
We are interested in whatit does rather than in howit does it: its functionality.
Abstraction is a process that allows to suppress all unneeded details from anobject and to retain only information which is relevant for a particular purpose.
- Black boxes are a way of abstracting a real system.
3
2+*34 2.5
(6/0$# .0$/0$#
!"
!#
!$
%"
%#
%$
&&&&&&
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
4/42
-
8/13/2019 EC01 Informatica Intro
5/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaSystems
1)#23"*+ (4 '"#$% '()*+
A vending machine
5
7%68(6) &*39(6%(6/0$# .0$/0$#
'()$*
+,(-.'/
'(-0 +,(-.'/
'12$30
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
6/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaSystems
56+.*2 $(,$*3.
A systemdenotes a compound entity: it is a black box whose implementation isa set of interacting or interdependent systems and relationships betweensystems (recursive definition).
System composition: ability to interact and to combine with other systems inorder to configure a more complex system.
6
:./; *88%1
< ./;*88%1
!"
!# %< ./;
*88%1!4
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
7/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaSystems
56+.*2 $(,$*3.
Very important to distinguish between its specificationand its implementation.
- Specification:defines its interface and its functionality. It includes the definition
of all the inputs and outputs an their types.
- Implementation: defines its components and the system structure. It is not
unique.
System validationand certification.
- Validation: checking that a particular implementation meets the system
specifications. It usually refers to thecorrectnessin terms of functionality.
- Certification: checking that it not only meets the correctness specifications,
but also some additionalperformance, qualityorsafetyrequirements.! Certification procedures and standards for Avionics.
! DO-178B: Software Considerations in Airborne Systems and Equipment
Certification.
7
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
8/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaSystems
7(,0,8(8+ 02* 9+: -;+$/*.* 02* +6+.*2+
Continuous-time system: inputs and outputs are defined over a time domainwhich is continuous. Example: T=[0,5]
Discrete-time system: the time domain is a discrete set of values. ExampleT= {0,1,2,3,4,5}. Inputs are only sampled at time instants in the domain andoutputs are reevaluated each time the inputs are sampled.
8
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5
0
1
2
3
4
5
6
7
X1
X2
Y
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 50
1
2
3
4
5
6
7
X1
X2
Y
Y(t) = adder(2,t)Continuous-time Discrete-time
!
!
Y(t) = adder(2,t)
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
9/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaSystems
7(2';,#0(,#" #,- +*
-
8/13/2019 EC01 Informatica Intro
10/42
-
8/13/2019 EC01 Informatica Intro
11/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaSystems
5*
-
8/13/2019 EC01 Informatica Intro
12/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaSystems
5*
-
8/13/2019 EC01 Informatica Intro
13/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaSystems
=23"*2*,0,> $(2';,#0(,#" +6+.*2+ ;, ?#."#'
Combinational systems can be mapped to Matlab functions.
13
$(23(+;0(,! #$%&'(% &)**+
;,9($#0(,
;,38.+
(8.38.+
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
14/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaSystems
=23"*2*,0,> +*
-
8/13/2019 EC01 Informatica Intro
15/42
Informtica
Ing. AeronuticaIntroduction
!"#$%
'()($*+ #"#$%
-.&/0$%1#
15
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
16/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
!(("*#, #">*'/#
Based onpredicates: sentences that assert or deny unambiguously an attribute.Example:Mary is wearing a flower on her head (true/ false)
Boolean domainB={0, 1}, 0"false, 1"true.
Operators:
- AND: x !y- true if both x and y are true and false otherwise.
! Example: The machine starts working if The green light is on " The button is
pushed.
- OR: x #y- true if either x or y are true and false otherwise.
! Example: The machine stops working if The button is pushed $ There is an
emergency.
- NOT:x- true if x is false and false if x is true
! Example: The machine is working if The red light is on %The red light is off.
16
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
17/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
!(("*#, #">*'/#
Laws similar to ordinary algebra:
- Commutativity of$and": x$y=y$x, x"y=y"x
- Associativity of$and": x$(y$z) = (x$y)$z x"(y"z) = (x"y)"z
- Distributivity: x$(y"z) = (x$y)"(x$z) x"(y$z) = (x"y)$(x"z)
Additional laws:
- Idempotence of$and": x$x=x x"x=x
- Absorption 1 and 2: x$(x"y) = x x"(x$y) = x
- De Morgan 1 and 2: (x"y) = x!$y! (x$y) = x!"y
- Opposites: x $x!!= 1 x "x!!= 0
- Neutral elements: x $0 = x x "1 = x
17
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
18/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
!(("*#, #">*'/# @#".*/,#09* ,(.#0(,A
Laws similar to ordinary algebra:
- Commutativity of+ and: x+y=y+x, xy=yx
- Associativity of+ and: x+(y+z) = (x+y)+z x(yz) = (xy)z
- Distributivity: x+(yz) = (x+y)(x+z) x(y+z) = (xy)+(xz)
Additional laws:
- Idempotence of+ and: x+x=x x x=x
- Absorption 1 and 2: x+(xy) = x x(x+y) = x
- De Morgan 1 and 2: (xy) = x!+ y! (x+y) = x! y
- Opposites: x + x!!= 1 x x!!= 0- Neutral elements: x + 0 = x x 1 = x
18
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
19/42
-
8/13/2019 EC01 Informatica Intro
20/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
B(>;$ >#.*+
Additional gates
20
!"
!#
!"8!# !"
!#
!":!# !"
!#
!"&!#
"!"#32/0 "$%32/0 '"$%32/0
x1 x2 = (x1 x2) + ( x1 x2)
!"
!#
!"&!#
'$%32/0
x1 x2 x1 x2
0 0 0
0 1 1
1 0 1
1 1 0
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
21/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
!(("*#, 48,$0(,+
Function of the formf: Bn"B, B={0, 1}
- f(x1,x2,...,xn), where xiare Boolean variables.
They can be represented using expressionsor truth tables.
Shannon Expansion Theorem: A boolean function can be expanded in two
canonical forms: sum of mintermsand product of maxterms.
- Example: majority voting of three binary juries
21
x1x2x3 f
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
Product of maxterms: by 0s
Sum of minterms: by 1s
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
22/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
=23"*2*,.#0(, 8+;,> "(>;$ >#.*+
Expression could be simplified before implementing it.
22
!" !$ !% !" !$ !%
!
!" !$ !% !" !$ !%
!
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
23/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
!(("*#, *)3/*++;(,+ ;, 3/(>/#22;,>
Matlab has a data type called logicalto support Boolean variables.
Logical operators:
Example:
23
Operator notation
AND X && Y
OR X
||Y
NOT X
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
24/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
5*
-
8/13/2019 EC01 Informatica Intro
25/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
!#+;$ +*
-
8/13/2019 EC01 Informatica Intro
26/42
Informtica
Ing. AeronuticaIntroduction
!"#$%
'()($*+ #"#$%
-.&/0$%1#
26
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
27/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaComputers
7(238.*/ C#/-D#/* #,- +(ED#/*
A computer is a programmable machine designed to solve a given problemautomatically by executing a sequence of instructions (program).
- Hardware: physical system that implements the computer. The fixed parts that
make up a computer. Currently based on digital systems (combinational and
sequential circuits).
- Software: programs or list of instructions to solve a problem. They can be
changed readily, allowing the computer to solve more than one kind of problem.
FG/(>/#22#'"*H 2#$C;,*
Its physical structure (hardware) is generic: it has not been designed to solve a
particular problem, but a wide range of problems.- This is what makes a computer different to most of other machines like an
engine or a screwdriver...
27
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
28/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaComputers
-.&/0$%1 *# *6 (6>.1&*?.6 /1.3%##(6) #"#$%&
System which takes information, processes it and provides the processed informationat the output.
- The program specifies how information is processed.
- Information needs to be encodedto the computer format.
Computer peripherals:allows interaction with the environment.
- Device attached to computer that expands the computer capabilities by allowing it to
take information in/out from/to the environment.
28
,-(.-)/
-.&/0$%1
.0$/0$/%1(/9%1*+#
(6/0$/%1(/9%1*+#
=,4(/2#0(, =,4(/2#0(,
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
29/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaComputers
7(238.*/ #+ # -;>;.#" +6+.*2
A computer is a complex system made up of lots of subsystems.
Main computer subsystems are studied in chapter 3: Arithmetic-Logic Unit(ALU), Control Unit (CU), Memory, ... All these subsystems are, in turn, madeup of digital systems:
- Combinational circuits.- Sequential circuits.
29
-.&/0$%1
01232
45/
657$5%')*
&8-&$89+
3(/:8%)'(%)*
&8-&$89+
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
30/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaComputers
-.&/0$%1 3*$%).1(%#
General purpose computers: they usually interact with human users and execute alarge variety of programs.
- Wide functionality.
- Examples: desktops, laptops, servers, etc.
Embedded systems:computers specialized in a specific task. They often interact witha machine (vehicle, engines, ...). Their goal is usually to take control or guidanceover a machine. Also most computer-based electronic appliances.
- Reduced functionality.
- Very specialized input and output devices calledsensorsandactuators.
! Sensor: device that measures a physical quantity and converts it into an electrical signal
or a computer code.
! Actuator: mechanism by which a computer acts upon the environment by transforming
an electrical signal or a computer output into some kind of motion.
- Examples 1:machine controllers, onboard computers, autopilots, vending machines,
- Examples 2: mobile phones, smart TV set.
30
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
31/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaComputers
1)#23"*+ (4 *2'*--*- +6+.*2
Inertial Measurement Unit (IMU): it computes the aircraft attitude that definethe aircraft orientation: roll, pitchand yaw.
- Based oninertial sensors (also available in most mobile phones): They detect
motion: three-axis accelerometer, gyroscope and compass to detect the
geomagnetic field.
31
@AB
;,38.+ (8.38.+
)&&5*;
.
?
@
!!
"!
!" $%&&
!" $%&
'"()*+,
#!
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
32/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaComputers
I?7 J I";>C. ?#,#>*/ 7(238.*/
An FMS is a specialized computersystem that automates a widevariety of in-flight tasks, especiallynavigation guidance.
- The pilot programs the flight plan.
- The FMC guides navigation using:
! A navigation database
! Data from navaids, GPS and
other sensors.
32
K#9;>#0(,L#.#'#+*
I";>C. 3"#,
K#9;>#0(,
5*,+(/+ M
K#9#;-+
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
33/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaComputers
I"6J'6JD;/* +6+.*2+
33
C(6)
N(%*2*$C#,;$#" O
3,*82#0$
+6+.*2+
D0#9E=.8 -.6$1.+#
F+"E2"EG(1% -.6$1.+#
N(%*
A&(%9-(**5-
+5-B(+
P;"*/(,
C(6)
=?Q
I75C*8.D9
3(%9-(*
6
-
8/13/2019 EC01 Informatica Intro
34/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaComputers
F+"E2"EG(1% #"#$%
System that replaces the conventional mechanical flight controls of an aircraft withelectronic devices.
- The movements of flight controls (yoke, pedals) and sensors (accelerometers,
gyroscopes, Pitot tubes, etc.) are converted to electronic signals.
- Signals are transmitted between the aircraft subsystems through wires.
- Signals feed a computer called the Flight Control System (FCS) which computes
the control actions and sends them to the control surfaces (ailerons, elevators, flaps,
etc.) and to the engines using more wires.
Redundancy: most elements have a back-up to improve reliability.
Advantagesof FBW over mechanical and hydro-mechanical flight control systems:
- Lighter than mechanical systems, so they save weight.
- Easier routing through the aircraft.
- Much more flexible control.
Disadvantage:
- Terrible mess of kilometers of wire (important design problem in A380):34
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
35/42
Informtica
Ing. AeronuticaIntroduction
H//%68(5
Examples of digital systems in avionics
35
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
36/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
I5*&/+% .> * 3.&2(6*?.6*+ #"#$%& JKL
Landing gear door warning logic.- There are five switches that detect whether or not the respective landing gear door is open.
- There are five warning indicatros in the central panel that which door(s) are open.
- There is a master indicator in the pilots panel that provides a warning if some of the doors is open.
- A switch is also provided in order to enable or disable the five door warning indicators.
-
36
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
37/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
1)#23"* (4 # $(2';,#0(,#" +6+.*2 @SA
Normal flight state
- All doors are closed
-
37
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
38/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
1)#23"* (4 # $(2';,#0(,#" +6+.*2 @TA
Warning state
- Nose door open
-
38
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
39/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
1)#23"* (4 # $(2';,#0(,#" +6+.*2 @UA
Warning state
- Nose and left wing doors open
-
39
mircoles 20 de febrero de 13
-
8/13/2019 EC01 Informatica Intro
40/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
1)#23"* (4 # +*
-
8/13/2019 EC01 Informatica Intro
41/42
J. Vila & E. Hernndez
Informtica
Ing. AeronuticaDigital systems
1)#23"* (4 # +*
-
8/13/2019 EC01 Informatica Intro
42/42
Informtica
Ing. AeronuticaDigital systems
1)#23"* (4 # +*