Nombre: Abraham Quispe Palacios

Curso: 4A

Un sistema embebido es un sistema de procesamiento de informacin de uso
especfico integrado en otro sistema de mayor tamao y conformado por
componentes hardware y software
(Marwedel, 2003).
Los sistemas embebidos tienen algunas particularidades como la integracin
de componentes hardware y software (Marwedel, 2003), y su relacin de
jerarqua con un sper-sistema que se encarga de controlar la comunicacin
entre sistemas del mismo nivel.

Esto se puede observaren la siguiente figura:





Por otro lado, la ingeniera de requisitos es una rama de la ingeniera de
software que apoya al diseador de sistemas en su tarea de traducir los
objetivos del mundo real a funciones, restricciones de un sistema
(Ross et al., 1977)
Las fases de la ingeniera de requisitos se muestran en la figura
Nombre: Abraham Quispe Palacios
Curso: 4A



En la fase de definicin del sistema se obtiene el conocimiento de los contextos
externos que expresan la problemtica que se debe afrontar y fundamentan
una solucin. En la segunda fase se deber obtener un documento con todos
los
requisitos. En la fase de operacionalizacin de requisitos se logra producir un
documento detallado de funcionalidades y restricciones de bajo
nivel de abstraccin del sistema a construir; y en la cuarta fase se construye un
modelo conceptual que contenga la solucin acorde con los requisitos y
restricciones

Una metodologa de IR pensada para este dominio debe permitir la
representacin de requisitos en el nivel de sistema, es decir, los que expresan
funcionalidades, pero, adems, debe plasmar requisitos que estn en niveles
externos, en donde se encuentran las interrelaciones con el sper-sistema y
otros sistemas embebidos.

Como parte de los elementos bsicos para construir una metodologa orientada
a sistemas embebidos se presenta una resea de algunas metodologas de IR
que han sido aplicadas en otros dominios y que presentan condiciones para
permitir su transformacin y adaptacin al dominio de los sistemas embebidos,
buscando que posibiliten el descubrimiento de requisitos que se encuentran en
niveles diferentes al del sistema.

Dichas metodologas pueden ser clasificadas de diversas formas, pero en la
tabla 1 se han retenido slo algunas de las que ofrecen mayores
facilidadespara su adaptacin y se han clasificado por su fundamento en los
conceptos de escenario o de meta
(Liu y Yu, 2001).







Nombre: Abraham Quispe Palacios
Curso: 4A







Obtencin del modelo de requistos para sistemas
embebidos
Teniendo en cuenta la carencia que en general presentan las metodologas
descritas en la revisin de la literatura, se propone intervenir la metodologa
ABC-Besoins, que fue diseada para el dominio de sistemas web, adaptndola
y transformndola para tener en cuenta aspectos del dominio de sistemas
embebidos, y construir un modelo conceptual que facilite la entrada a un
lenguaje de especificacin como SystemC. La decisin de retomar esta y no
otra metodologa se fundamenta principalmente en que ABC-Besoins ofrece
soporte para todas las fases del anlisis de requisitos y posee un modelo de
requisitos bien estructurado que permite descubrir requisitos de los niveles de
sistema y los niveles externos.


Identificacin de las caractersticas propias de los
sistemas embebidos
La caracterstica ms importante de los sistemas embebidos es su interaccin
con el mundo exterior en funcin del tiempo o en funcin de la presencia de
estmulos. Para garantizar una interaccin exitosa con el ambiente, el sistema
debe
Nombre: Abraham Quispe Palacios
Curso: 4A

incorporar algunas caractersticas, tales como la disponibilidad, fiabilidad y
seguridad. Otras caractersticas propias de un sistema embebido son
(Marwedel, 2003) (Lavi y Kudish 2005):

Compuesto por hardware y software, con la caracterstica de que el
software tiene una interaccin directa con los elementos hardware, pues se
encarga de controlarlos y comunicarlos. Para esta composicin debe ser
posible representar: comportamiento (estados, eventos, y seales) y estructura
o composicin fsica.

Relaciones jerrquicas, en las cuales se incluyen las interrelaciones entre el
sistema embebido y su sper-sistema, el sistema embebido y sistemas del
mismo nivel que se encargan de otras funciones especficas.

Comportamiento basado en el estado de las componentes, por ejemplo,
si X puerto no est disponible, entonces no se podr enviar la seal que activa
el proceso Y.

Manejo de eventos, que son los que permiten constatar el cambio de estado
de las componentes. Un evento puede ser externo (causado por el ambiente) o
interno (causado por componentes del sistema).

Recursos limitados en cuanto al tamao, el consumo de energa, la
memoria, y dems recursos que permitan garantizar la portabilidad del sistema
embebido.

Mnima interaccin con el usuario, por lo tanto, son sistemas que deben
funcionar durante aos sin errores y ser capaces de recuperarse por s mismos
en caso de que estos ocurran. Deben ser sistemas con un alto grado de
autonoma.

Presencia de sincronizacin y comunicacin, para permitir el flujo de
informacin entre los diferentes sistemas embebidos que hacen funciones
especficas y contribuyen a la realizacin de la funcin del sper-sistema.

Propiedades no funcionales, tales como la tolerancia a fallas, el tamao, el
consumo de
potencia, el peso, la disponibilidad, la seguridad, la fiabilidad, deben definirse
desde etapas tempranas de la construccin del sistema.

La controlabilidad es otra caracterstica de los sistemas embebidos, pues
son sistemas pensados, en su mayora, para el control, y adems, por sus
restringidas y muy especficas funciones, tambin son fcilmente controlables.


Nombre: Abraham Quispe Palacios
Curso: 4A