Tipos de Software
El software puede aplicarse a numerosas situaciones del mundo real. En primer lugar, a
todos aquellos problemas para los que se haya establecido un conjunto específico de
acciones que lleven a su resolución (esto es, un algoritmo). En estos casos, utilizaremos
lenguajes de programación procedimentales para implementar estos algoritmos.
También puede aplicarse a situaciones en las que el problema puede describirse
formalmente, por lo general en forma recursiva. En estos casos no necesitamos describir
el método de resolución, es decir cómo se resuelve el problema, sino que bastará con
describir en problema en sí, indicando cuál es la solución deseada, y utilizaremos
lenguajes declarativos para ello. También puede aplicarse a problemas que los humanos
resolvemos utilizando multitud de reglas heurísticas posiblemente contradictorias, para
lo cual utilizaremos un sistema experto e incluso para problemas de los cuales no
tenemos una idea clara de cómo se resuelven, pero de los que conocemos cuál es la
solución apropiada para algunos ejemplos de los datos de entrada. En este caso
utilizaremos redes neuronales.
En cualquier caso, es difícil establecer categorías genéricas significativas para las
aplicaciones del software. Conforme aumenta la complejidad del mismo se hace más
complicado establecer compartimentos nítidamente separados. No obstante la siguiente
clasificación ha venido aceptándose tradicionalmente:
Software de sistemas
Está formado por todos aquellos programas cuya finalidad es servir al desarrollo o al
funcionamiento de otros programas. Estos programas son muy variados: editores,
compiladores, sistemas operativos, entornos gráficos, programas de telecomunicaciones,
etc. pero se caracterizan por estar muy próximos al hardware, por ser utilizados
concurrentemente por numerosos usuarios y por tratarse de programas de amplia
difusión, no estando diseñados normalmente a medida. Esto permite un mayor esfuerzo
en su diseño y optimización, pero también les obliga a ser muy fiables, cumpliendo
estrictamente las especificaciones para las que fueron creados. Un ejemplo de este tipo
de software son los sistemas operativos, como Windows y Unix.
Software de tiempo real
Esta formado por todos aquellos programas que miden, analizan y controlan los sucesos
del mundo real a medida que ocurren, debiendo reaccionar de forma correcta a los
estímulos de entrada en un tiempo máximo prefijado. Deben, por tanto, cumplir unos
requisitos temporales muy estrictos y, dado que los procesos que controlan pueden ser
potencialmente peligrosos, tienen que ser fiables y tolerantes a fallos. Por otro lado, no
suelen ser muy complejos y precisan de poca interacción con el usuario. Un sistema de
tiempo real es aquel en el que para que las operaciones computacionales estén correctas
no depende solo de que la lógica e implementación de los programas computacionales
sea correcto, sino también en el tiempo en el que dicha operación entregó su resultado.
Si las restricciones de tiempo no son respetadas el sistema se dice que ha fallado. Un
Buen ejemplo es el de un robot que necesita tomar una pieza de una banda sinfín. Si el
Robot llega tarde, la pieza ya no estará donde debía recogerla. Por lo tanto el trabajo se
llevó acabo incorrectamente, aunque el robot haya llegado al lugar adecuado. Si el robot
